User: Guest  Login
Author(s):
Pramsohler, Thomas; Kaule, Dirk; Paulić, Annette; Zeller, Marc; Weiß, Gereon 
Title:
Modellbasierte Erkennung von Fehlverhalten: Automatisierte Generierung von Verifikationsmodellen zur Absicherung von Funktionsschnittstellen im Bereich Infotainment 
Journal title:
Elektronik automotive 
Year:
2012 
Journal issue:
8-9/2012 
Pages contribution:
12 - 17 
Print-ISSN:
1614-0125