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

Improving resilience of interdependent critical infrastructures via an on-line alerting system, , , , , , , , , und 1 andere Autor(en). Complexity in Engineering, 2010. COMPENG'10., Seite 88--90. IEEE, (2010)Performability Measures of the Public Mobile Network of a Tele Control System., und . SAFECOMP, Volume 3219 von Lecture Notes in Computer Science, Seite 142-154. Springer, (2004)Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study., , , , , und . Reliab. Eng. Syst. Saf., 81 (3): 269-280 (2003)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , und . HSCC, Volume 2623 von Lecture Notes in Computer Science, Seite 141-155. Springer, (2003)Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System., , , , , , , , , und 14 andere Autor(en). COMPENG, Seite 88-90. IEEE Computer Society, (2010)Automatic Analysis of a Safety Critical Tele Control System., , , und . SAFECOMP, Volume 3688 von Lecture Notes in Computer Science, Seite 94-107. Springer, (2005)An electrical grid and its SCADA under cyber attacks: Modelling versus a Hybrid Test Bed., , , , und . ICCST, Seite 1-6. IEEE, (2014)A Tool for Network Reliability Analysis., , , , und . SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 417-422. Springer, (2007)Automatic Timeliness Verification of a Public Mobile Network., , , und . SAFECOMP, Volume 2788 von Lecture Notes in Computer Science, Seite 35-48. Springer, (2003)Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System., , , , , und . SAFECOMP, Volume 2434 von Lecture Notes in Computer Science, Seite 212-223. Springer, (2002)