From post

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.

, и . FME, том 670 из Lecture Notes in Computer Science, стр. 183-195. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

The practice of formal methods in safety-critical systems., , и . J. Syst. Softw., 28 (1): 77-87 (1995)Intrusion-Tolerant Enclaves., , и . S&P, стр. 216-224. IEEE Computer Society, (2002)An Architecture for an Adaptive Intrusion-Tolerant Server, , , , , , , , и . Security Protocols Workshop, (2002)Intrusion-Tolerant Group Management in Enclaves., , и . DSN, стр. 203-214. IEEE Computer Society, (2001)Protocol Codesign., , и . Security Protocols Workshop, том 3364 из Lecture Notes in Computer Science, стр. 106-113. Springer, (2003)Provably dependable software architectures., и . ISAW@FSE, стр. 133-136. ACM, (1998)A Formalization of Software Architecture., , , и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 116-133. Springer, (1999)The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective., и . FME, том 670 из Lecture Notes in Computer Science, стр. 183-195. Springer, (1993)Formal Methods in Circuit Design. Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (1993)Dependability Then and Now: Commentary on Donald MacKenzie, Ä View from the Sonnenbichl".. ICHC, стр. 127-133. Springer, (2000)