Did you mean:
+keyword:("softwareentwicklung")
On the Usefulness of Clause Strengthening in Parallel SAT Solving
TOYOTA MBD initiatives for engine control design
Practical application of model-based software design for automotive