Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Safe software development for a video-based train detection system in accordance with EN 50128
Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden
Building secure cars : assuring the automotive software development lifecycle
Building secure cars : assuring the automotive software development lifecycle
A Validation Methodology for OCaml-to-PVS Translation