Naijun Zhan等人：Simulink/Stateflow图的形式验证，演绎方法。(2017) books/sp/17/ZWZ2017 10.1007/978-3-319-47016-0 9783319470146 9783319470160 Simulink/Stateflow图的形式化验证，一种演绎方法。 三 詹乃军（Naijun Zhan） 1 王淑玲（Shuling Wang） 2 赵恒军 三 2017 施普林格 dblp记录“books/sp/17/ZWZ2017”的RDF数据的来源信息 2020-10-19T09:52:10+0200