Building secure cars : assuring the automotive software development lifecycle
Heterogeneous Verification of an Autonomous Curiosity Rover
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Safe and Robust Automation of Aircraft and System Operation
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung