Author of the publication

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

, and . FME, volume 670 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Intrusion-Tolerant Enclaves., , and . S&P, page 216-224. IEEE Computer Society, (2002)The practice of formal methods in safety-critical systems., , and . J. Syst. Softw., 28 (1): 77-87 (1995)Provably dependable software architectures., and . ISAW@FSE, page 133-136. ACM, (1998)Formal Methods in Circuit Design. Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (1993)A Formalization of Software Architecture., , , and . World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 116-133. Springer, (1999)The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective., and . FME, volume 670 of Lecture Notes in Computer Science, page 183-195. Springer, (1993)An Architecture for an Adaptive Intrusion-Tolerant Server, , , , , , , , and . Security Protocols Workshop, (2002)Protocol Codesign., , and . Security Protocols Workshop, volume 3364 of Lecture Notes in Computer Science, page 106-113. Springer, (2003)Intrusion-Tolerant Group Management in Enclaves., , and . DSN, page 203-214. IEEE Computer Society, (2001)Newthink - An Orwellian specification language for real-time safety critical systems., and . RTS, page 128-133. IEEE, (1992)