Publikation
Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler
In: (Hrsg.). IET Cyber-Physical Systems: Theory & Applications 2016.
@article{pub8831, author = {Przigoda, Nils and Soeken, Mathias and Wille, Robert and Drechsler, Rolf}, title = {Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers}, year = {2016}, journal = {IET Cyber-Physical Systems: Theory & Applications} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2019