Meinten Sie:
+keyword:("softwareentwicklung")
A Validation Methodology for OCaml-to-PVS Translation
Heterogeneous Verification of an Autonomous Curiosity Rover
On the Usefulness of Clause Strengthening in Parallel SAT Solving
TOYOTA MBD initiatives for engine control design
'Lane Assist'. Das neue aktive Spurhaltesystem von Volkswagen
Practical application of model-based software design for automotive