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

Automated Validation Verification of UML/OCL
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
SpringerLink DE
177.00 EUR
Preis aktualisiert am: 16-08-2026 05:21:22
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
Automated Trading with R: Quantitative Research and Platform Development
Automated Trading with R: Quantitative Research and Platform Development
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
Produkt anzeigen
An Economic Analysis on Automated Construction Safety
An Economic Analysis on Automated Construction Safety
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Produkt anzeigen
Menü