Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Joseph, Sabina"'
Fault-injection through model checking via naive assumptions about state machine synchrony semantics
Autor:
Joseph, Sabina.
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).
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).
Externí odkaz:
http://etd.wvu.edu/templates/showETD.cfm?recnum=293
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Hoppe, Bodo1,2 bohopp@de.ibm.com, Arthur-Mensah, Bridgette3,4 bfosu@us.ibm.com, Chencinski, Edward W.3 chencins@us.ibm.com, Joseph, Sabina3 sabinaj@us.ibm.com, Kumar, Haresh3 hkumar@us.ibm.com, Silverio, Jose F.3 silverio@us.ibm.com
Publikováno v:
IBM Journal of Research & Development. May/Jul2004, Vol. 48 Issue 3/4, p461-474. 14p. 13 Diagrams.
