Modellbasierte Erkennung von Fehlverhalten: Automatisierte Generierung von Verifikationsmodellen zur Absicherung von Funktionsschnittstellen im Bereich Infotainment

Titel:: Modellbasierte Erkennung von Fehlverhalten: Automatisierte Generierung von Verifikationsmodellen zur Absicherung von Funktionsschnittstellen im Bereich Infotainment
Autor(en):: Pramsohler, Thomas; Kaule, Dirk; Paulić, Annette; Zeller, Marc; Weiß, Gereon
Zeitschriftentitel:: Elektronik automotive
Jahr:: 2012
Heft / Issue:: 8-9/2012
Seitenangaben Beitrag:: 12 - 17
Print-ISSN:: 1614-0125
BibTeX