Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2013Control flow analysis of automotive software components using model-based specifications of dynamic behavior
Pramsohler, Thomas; Kafkas, Mahmut; Paulic, Annette; Zeller, Marc; Baumgarten, Uwe
Conference Paper, Journal Article
2013Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon
Conference Paper
2012Modellbasierte Erkennung von Fehlverhalten
Paulic, Annette; Pramsohler, Thomas; Kaule, Dirk; Zeller, Marc; Weiß, Gereon
Journal Article