Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden
Building secure cars : assuring the automotive software development lifecycle
Safe and Robust Automation of Aircraft and System Operation
A Validation Methodology for OCaml-to-PVS Translation
In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil
Heterogeneous Verification of an Autonomous Curiosity Rover