1.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
by Zhan, Naijun, Wang, Shuling...
ISBN: 9783319470146
List Price: $129.00
2.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
by Zhan, Naijun, Wang, Shuling...
ISBN: 9783319836386
List Price: $129.00