Publikation

Towards a Generic Verification Methodology for System Models

Robert Wille; Martin Gogolla; Mathias Soeken; Mirco Kuhlmann; Rolf Drechsler

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence