Detail Image
click to view more

Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers (Softcover Reprin

by Przigoda, Nils

$160.95

List Price: $169.99
Save: $9.04 (5%)
add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Tuesday, July 22, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

Description

Provides a general flow and description for the validation and verification of UML/OCL models

Demonstrates a detailed realization of the general flow using satisfiability solvers

Includes a case study that presents the possibilities of the state-of-the-art approaches

Last updated on

Product Details

  • Jun 6, 2019 Pub Date:
  • 3319892142 ISBN-10:
  • 9783319892146 ISBN-13:
  • English Language