Zu "Object Constraint Language" wurden 4 Produkte gefunden
Filter
–
Download
PDF
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
117,69 €*
Download
PDF
Automatic Methods for the Refinement of System Models
Julia Seiter, Robert Wille, Rolf Drechsler
58,84 €*