Formalbasierte Sicherheitsanalyse im Eisenbahnwesen : Potenziale von Petrinetzen für Beschreibung und Analyse sicherheitskritischer Prozesse und deren Steuerungen
2007
XI, 168 S.
240 mm x 170 mm
graph. Darst
Hochschulschrift
Deutsch
DDC: | 629.040289 | |
BKL: | 55.85 Schienenverkehr |
Empirische Analyse sicherheitskritischer Ereignisse in urbanisierten Gebieten
Tema Archiv | 2014
|Analyse von Arbeitsaufgaben im Eisenbahnwesen
IuD Bahn | 2012
|Objektorientierte Analyse zur Modellierung im Eisenbahnwesen
Tema Archiv | 2000
|Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|