Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior

Pramsohler, Thomas; Kafkas, Mahmut; Paulić, Annette; Zeller, Marc; Baumgarten, Uwe

Title:: Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior
Author(s):: Pramsohler, Thomas; Kafkas, Mahmut; Paulić, Annette; Zeller, Marc; Baumgarten, Uwe
Journal title:: SAE International Journal of Passenger Cars– Electronic and Electrical Systems
Year:: 2013
Journal volume:: 6
Print-ISSN:: 10.4271/2013-01-0435
BibTeX