Springer
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
Product Code:
9783319728131
ISBN13:
9783319728131
Condition:
New
$180.44
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
$180.44
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
| Author: Nils Przigoda |
| Publisher: Springer |
| Publication Date: Jan 31, 2018 |
| Number of Pages: 255 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 331972813X |
| ISBN-13: 9783319728131 |
Related Products
Createspace Independent Publishing Platform
The Process of Verification and Validation of Building Fire Evacuation Models
$16.64
Createspace Independent Publishing Platform
Verification & Validation of Selected Fire Models for Nuclear Power Plant Application
$20.09
Createspace Independent Publishing Platform
Verification and Validation of the Coastal Modeling System: Report 2: CMS-Wave
$21.82