Automated validation & verification of UML/OCL models using satisfiability solvers /

Similar Items

• Verification and Validation of 3D Free-Surface Flow Models /
  Published: (2008)
• Computational methods in transport: verification and validation /
  Published: (2008)
• Automated technology for verification and analysis /
  Published: (2017)
• Are you satisfied? : citizen feedback and delivery of urban services /
  by: Deichmann, Uwe 1963-
  Published: (2003)
• Use case driven object modeling with UML : theory and practice /
  by: Rosenberg, Doug.
  Published: (2007)