book

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Naijun Zhan, Shuling Wang, Hengjun Zhao Published in 2017

Reference details