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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
SpringerLink DE
117.69 EUR
Preis aktualisiert am: 01-10-2026 13:30:57
Siehe Produktangebot
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Hugendubel
149.99 EUR
Preis aktualisiert am: 30-09-2026 12:01:29
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Validation and Verification of Automated Systems
Validation and Verification of Automated Systems
Aus88.04 EUR 4
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Aus160.49 EUR 3
Produkt anzeigen
Validation and Verification of Automated Systems
Validation and Verification of Automated Systems
Aus71.68 EUR 2
Produkt anzeigen
ADAS and Automated Driving: A Practical Approach to Verification and Validation
ADAS and Automated Driving: A Practical Approach to Verification and Validation
Aus124.30 EUR 2
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Aus160.49 EUR 2
Produkt anzeigen
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Aus116.47 EUR 2
Produkt anzeigen
Menü