Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach

by Zhan, Naijun, Wang, Shuling, Zhao, Hengjun
Published 2017