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