Practical application of model-based software design for automotive
'Lane Assist'. Das neue aktive Spurhaltesystem von Volkswagen
TOYOTA MBD initiatives for engine control design
Entwicklung der Forschungssoftware RCE im DLR
Heterogeneous Verification of an Autonomous Curiosity Rover
A Validation Methodology for OCaml-to-PVS Translation
On the Usefulness of Clause Strengthening in Parallel SAT Solving