( en | de | ru )

 

Disambiguation

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.

Evaggelia Stavridou

Victoria Mergner

Victoria Kowalewski

Victoria Kauert

Victoria Bülow

 

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

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)