Autor der Publikation

Failure Analysis and the Safety-Case Lifecycle.

, , und . Human Error, Safety and Systems Development, Volume 152 von IFIP, Seite 163-176. Kluwer/Springer, (2004)

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

Dependability through Assured Reconfiguration in Embedded System Software., und . IEEE Trans. Dependable Secur. Comput., 3 (3): 172-187 (2006)Assured Reconfiguration of Fail-Stop Systems., , und . DSN, Seite 2-11. IEEE Computer Society, (2005)Achieving Critical System Survivability Through Software Architectures., und . WADS, Volume 3069 von Lecture Notes in Computer Science, Seite 51-78. Springer, (2003)Assurance Based Development of Critical Systems., , und . DSN, Seite 347-357. IEEE Computer Society, (2007)Echo: a practical approach to formal verification., , und . FMICS, Seite 44-53. ACM, (2005)Assured Reconfiguration of Embedded Real-Time Software., und . DSN, Seite 367-376. IEEE Computer Society, (2004)The essential synthesis of problem frames and assurance cases., und . Expert Syst. J. Knowl. Eng., 25 (1): 9-27 (2008)Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases., , und . WADS, Volume 4615 von Lecture Notes in Computer Science, Seite 362-382. Springer, (2006)Failure Analysis and the Safety-Case Lifecycle., , und . Human Error, Safety and Systems Development, Volume 152 von IFIP, Seite 163-176. Kluwer/Springer, (2004)Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development., , , und . SAFECOMP, Volume 2788 von Lecture Notes in Computer Science, Seite 317-330. Springer, (2003)