-
Formal Verification of Simulink/Stateflow Diagrams
EbookSofort lieferbarThis book presents a state-of-the-art technique...
-
Symposium on Real-Time and Hybrid Systems
EbookSofort lieferbarThis volume is published in honor of Professor ...
-
Dependable Software Engineering: Theories, Tools, and Applications
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
-
Formal Verification of Simulink/Stateflow Diagrams
BuchPrint on DemandThis book presents a state-of-the-art technique...
-
Symposium on Real-Time and Hybrid Systems
TaschenbuchPrint on DemandThis volume is published in honor of Professor ...
-
-
Dependable Software Engineering: Theories, Tools, and Applications
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
- 1
Folgen Sie uns auf:
