Publikation

Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers

Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler

In: (Hrsg.). IET Cyber-Physical Systems: Theory & Applications 2016.

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