( en | de | ru )

 

Disambiguierung von "Stavridou, Victoria"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.

, und . FME, Volume 670 von Lecture Notes in Computer Science, Seite 183-195. Springer, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Evaggelia Stavridou

Victoria Mergner

Victoria Kowalewski

Victoria Kauert

Victoria Bülow

 

Weitere Publikationen von Autoren mit dem selben Namen

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