Schaffung einer Basis für die Einführung neuer Technologien zur Entwicklung und Beherrschung komplexer, sicherheitskritischer eingebetteter Systeme : Verbundvorhaben : Schlussbericht : Teilvorhaben Frühzeitige Validierung von Anforderungen
Acionic system software embeddet technology - early validation of software requirements
2018
1 Online-Ressource (69 Seiten, 3,11 MB)
Illustrationen, Diagramme
Förderkennzeichen BMBF 20Y1309C. - Verbund-Nummer 01156408
Paralleltitel dem englischen Berichtsblatt entnommen
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report
Electronic Resource
German
Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Automotive engineering | 2009
|