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