Publikation
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.
@inproceedings{pub6587, author = { Wille, Robert and Gogolla, Martin and Soeken, Mathias and Kuhlmann, Mirco and Drechsler, Rolf }, title = {Towards a Generic Verification Methodology for System Models}, booktitle = {Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France}, year = {2013}, publisher = {IEEE} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023