Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Medimops DE
123.04 EUR
Preis aktualisiert am: 19-09-2026 18:03:44
Siehe Produktangebot
Gesponsert
Zhan:Formal Verification of Simulink/St, Fachbücher von Naijun Zhan, Hengjun Zhao, Shuling Wang
Galaxus.de
123.04 EUR
Preis aktualisiert am: 17-09-2026 15:43:19
Siehe Produktangebot
Gesponsert
Formal Verification of Simulink/Stateflow Diagrams
SpringerLink DE
136.00 EUR
Preis aktualisiert am: 18-09-2026 18:56:26
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
Produkt anzeigen
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
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)
Produkt anzeigen
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
Produkt anzeigen
Menü