Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used
Add to wishlist
Quick view
Add to compare
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used
This book presents a stateoftheart technique for formal verification of continuoustime Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and...
Sale price$135.43 Regular price$193.47
Quantity
Add to cart

Recently viewed products