Validating Machine Learning-based Highly Automated Driving Functions by Diversity
Über Techniken zur objektorientierten Entwicklung von Software-Systemen für Fahrzeugfunktionen
Über Techniken zur objektorientierten Entwicklung von Software-Systemen für Fahrzeugfunktionen
TOYOTA MBD initiatives for engine control design
Timing Verifikation von AUTOSAR Softwarearchitekturen
Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Specification of Distributed Computing for Small Satellite Control
Simulation und Test für die Automobilelektronik IV
Semiformale Entwurfsmethoden bei BMW
Safe software development for a video-based train detection system in accordance with EN 50128