
Formal Verification Of Simulink/stateflow Diagrams: A Deductive Approach
by Naijun Zhan /
2016 / English / PDF
4.2 MB Download