Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Medimops DE
123.04 EUR
Preis aktualisiert am: 06-11-2026 07:15:26
Siehe Produktangebot
Gesponsert
Formal Verification of Simulink/Stateflow Diagrams
SpringerLink DE
136.00 EUR
Preis aktualisiert am: 06-11-2026 14:59:53
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 26727801
ISBN
Springer-Verlag GmbH 3319470140

Eigenschaften

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Aus115.64 EUR 4
Produkt anzeigen
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
Aus116.98 EUR 4
Produkt anzeigen
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Aus51.98 EUR 3
Produkt anzeigen
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
Aus128.39 EUR 2
Produkt anzeigen
Menü