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
On the Usefulness of Clause Strengthening in Parallel SAT Solving