PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "McDermid, John A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4.

, , , und . SSS, Seite 129-147. Springer, (2010)

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.

A. Laukemann

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

A. Laukemann

A. Laukemann

 

Weitere Publikationen von Autoren mit dem selben Namen

Integrating safety and formal analyses using UML and PFS., , , und . Rel. Eng. & Sys. Safety, 92 (2): 156-170 (2007)Modelling Engineering Design Processes with Role Activity Diagrams., und . Transactions of the SDPS, 4 (2): 45-65 (2000)Trusted Product Lines., und . Information & Software Technology, 55 (3): 525-540 (2013)Incremental processing of Z specifications., und . FORTE, Volume C-10 von IFIP Transactions, Seite 53-69. North-Holland, (1992)Integrating requirements analysis and safety analysis., und . RE, Seite 158-159. IEEE Computer Society, (1995)The Structure of Permissions: A Normative Framework for Access Rights., und . DBSec, Volume A-6 von IFIP Transactions, Seite 77-97. North-Holland, (1991)Safety and Dependability.. Dependable Software Systems Engineering, Volume 40 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)Analysing System Failure Behaviours with PRISM., , und . SSIRI (Companion), Seite 130-136. IEEE Computer Society, (2010)Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards., , und . SSS, Seite 223-243. Springer, (2009)An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4., , , und . SSS, Seite 129-147. Springer, (2010)