Modellbasierte Anforderungsspezifikation sicherheitskritischer Systeme im Eisenbahnbereich - Beschreibungsmittel und ihre Anwendung
2010
Online-Ressource (PDF-Datei: 173 S. = 5,4 MB)
Hochschulschrift
Elektronische Ressource
Deutsch , Englisch
DDC: | 625.10020289 | |
BKL: | 55.30 Schienenfahrzeugtechnik, Eisenbahntechnik |
Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
VDE-Verlag | 2013
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Kraftfahrwesen | 2009
|