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
68 Bl.
graph. Darst.
Förderkennzeichen BMBF 01ISF15C [richtig] - BMBF 01ISF15A [falsch]. - 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
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report
Deutsch