( en | de | ru )

 

Disambiguierung von "Stavridou, Victoria"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safety-critical systems, formal methods and standards.

, und . Softw. Eng. J., 8 (4): 189-209 (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

From Safety Analysis to Software Requirements., , und . IEEE Trans. Software Eng., 24 (7): 573-584 (1998)The practice of formal methods in safety-critical systems., , und . J. Syst. Softw., 28 (1): 77-87 (1995)Architectural analysis of component-based systems.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 96-97 (2000)Intrusion-Tolerant Enclaves., , und . S&P, Seite 216-224. IEEE Computer Society, (2002)Formal Methods in Circuit Design. Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (1993)Provably dependable software architectures., und . ISAW@FSE, Seite 133-136. ACM, (1998)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)The Role of Architecture Description Languages in Component-Based Development: The SRI Perspective, und . Proceedings of the 2nd Workshop on Component-Based Software Engineering, in conjunction with ICSE'99, (Mai 1999)UMIST OBJ: A Language for Executable Program Specifications., , und . Comput. J., 32 (5): 413-421 (1989)