Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Introduction to Special Issue on Software for Critical Systems., und . IEEE Trans. Software Eng., 19 (1): 1-2 (1993)The Need for New Paradigms in Safety Engineering.. SSS, Seite 3-20. Springer, (2009)Analyzing Safety and Fault Tolerance Using Time Petri Nets., und . TAPSOFT, Vol.2, Volume 186 von Lecture Notes in Computer Science, Seite 339-355. Springer, (1985)Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.. HSCC, Volume 1790 von Lecture Notes in Computer Science, Seite 3. Springer, (2000)New Year's Resolutions for Software Quality., , , , , , , , , und . IEEE Softw., 21 (1): 12-13 (2004)On the Use of Visualization in Formal Requirements Specification., , , und . RE, Seite 71-80. IEEE Computer Society, (2002)Intent Specifications: An Approach to Building Human-Centered Specifications.. ICRE, Seite 204-213. IEEE Computer Society, (1998)Integrated Safety Analysis of Requirements Specifications., , , , und . RE, Seite 148-159. IEEE Computer Society, (1997)Investigating Safety and Cybersecurity Design Tradespace for Manned-Unmanned Aerial Systems Integration Using Systems Theoretic Process Analysis., und . GI-Jahrestagung, Volume P-232 von LNI, Seite 643-647. GI, (2014)Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Trans. on Software Engineering, (2000)