Ü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
Softwareentwicklung mit AUTOSAR : Grundlagen, Engineering, Management in der Praxis
Simulation und Test für die Automobilelektronik IV
Simulation und rechnergestützter Entwurf elektrischer Antriebssysteme
Semiformale Entwurfsmethoden bei BMW