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

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

Titel:: Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior
Autor(en):: Pramsohler, Thomas; Kafkas, Mahmut; Paulić, Annette; Zeller, Marc; Baumgarten, Uwe
Zeitschriftentitel:: SAE International Journal of Passenger Cars– Electronic and Electrical Systems
Jahr:: 2013
Band / Volume:: 6
Print-ISSN:: 10.4271/2013-01-0435
BibTeX