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