Konzeption und Umsetzung eines Werkzeugs zur Spezifikation, Bewertung und formalen Analyse varianter Entwicklungsartefakte für eingebettete Systeme im Fahrzeug : Schlussbericht der PROSTEP IMP GmbH zum Verbundprojekt "VEIA - Verteilte Entwicklung und Integration von Automotive-Produktlinien"
Conception and realization of a tool for the specification, assessment and formal analysis of variant development artifacts for embedded systems in vehicles
2009
Online-Ressource (62 S., 2,01 MB)
graph. Darst.
Förderkennzeichen BMBF 01ISF15A. - Engl. Berichtsbl. u.d.T.: Conception and realization of a tool for the specification, assessment and formal analysis of variant development artifacts for embedded systems in vehicles
Unterschiede zwischen der elektronischen Ressource und dem gedruckten Dokument können nicht ausgeschlossen werden
Auch als gedr. Ausg. vorhanden
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report
Elektronische Ressource
Deutsch