1. Home
  2. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • #

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

117.69 EUR

Teilen:
Gesponsert

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

SpringerLink DE
117.69 EUR
29-04-2026 10:19:56

Ähnliche Produkte

Validation and Verification of Automated Systems

Validation and Verification of Automated Systems

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

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

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

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

160.49 EUR
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

116.47 EUR
Validation and Verification of Automated Systems

Validation and Verification of Automated Systems

90.94 EUR
ADAS and Automated Driving

ADAS and Automated Driving

122.90 EUR