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
69 Seiten, 2 ungezählte Blätter
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
Report
Deutsch
Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
VDE-Verlag | 2013
|