Safe software development for a video-based train detection system in accordance with EN 50128
TOYOTA MBD initiatives for engine control design
Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden
Automatisierte Funktionsoptimierung von Adaptive Cruise Control
Betrachtung zur Software-Entwicklung im Eisenbahnbereich
A Validation Methodology for OCaml-to-PVS Translation