Return to search

Fault-injection through model checking via naive assumptions about state machine synchrony semantics

Thesis (M.S.)--West Virginia University, 1998. / Title from document title page. "December 8, 1998." Document formatted into pages; contains vi, 98 p. : ill. (some col.) Includes abstract. Includes bibliographical references (p. 78-81).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/40625344
Date January 1900
CreatorsJoseph, Sabina.
PublisherMorgantown, W. Va. : [West Virginia University Libraries,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0019 seconds