Zu "Automatic Verification in Electronic Systems" wurden 3 Produkte gefunden
HOME
Automatic Methods for the Refinement of System Models
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten