![Formal Verification Of Simulink/stateflow Diagrams: A Deductive Approach](/media/uploads/2017/1/formal-verification-of-simulinkstateflow-diagrams-a-deductive-approach.jpg)
Formal Verification Of Simulink/stateflow Diagrams: A Deductive Approach
by Naijun Zhan /
2016 / English / PDF
4.2 MB Download