Automatisierte Testfallgenerierung für den applikationsspezifischen Test von AUTOSAR Steuergeräten
Automated verification of code generated from models: Comparing specifications with observations
An approach for on-board software building blocks cooperation and interfaces definition
Aspekte der Automatisierung im Testprozess
At the edge of autosar: Multi-core architectures in automotive software design
'Lane Assist'. Das neue aktive Spurhaltesystem von Volkswagen