Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
SpringerLink DE
117.69 EUR
Preis aktualisiert am: 19-06-2026 19:33:58
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Produkt anzeigen
ADAS and Automated Driving: A Practical Approach to Verification and Validation
ADAS and Automated Driving: A Practical Approach to Verification and Validation
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
Validation and Verification of Automated Systems
Validation and Verification of Automated Systems
Produkt anzeigen
Validation and Verification of Automated Systems
Validation and Verification of Automated Systems
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
Menü