Publikation

Determining Relevant Model Elements for the Verification of UML/OCL Specifications

Julia Seiter, Robert Wille, Mathias Soeken, 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