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
Semiformale Entwurfsmethoden bei BMW
Safe software development for a video-based train detection system in accordance with EN 50128
Safe and Robust Automation of Aircraft and System Operation
Practical application of model-based software design for automotive
On the Usefulness of Clause Strengthening in Parallel SAT Solving
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
In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil
Implementierung des Software-Prototyps einer Online-Frachtenbörse
Heterogeneous Verification of an Autonomous Curiosity Rover
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden