Über Techniken zur objektorientierten Entwicklung von Software-Systemen für Fahrzeugfunktionen
Über Techniken zur objektorientierten Entwicklung von Software-Systemen für Fahrzeugfunktionen
Timing Verifikation von AUTOSAR Softwarearchitekturen
Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Simulation und Test für die Automobilelektronik IV
Semiformale Entwurfsmethoden bei BMW
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
'Lane Assist'. Das neue aktive Spurhaltesystem von Volkswagen