Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Zhan, Naijun
Wang, Shuling
Zhao, Hengjun
- 出版社：Springer International Publishing Ag
- 出版年月：2018年 06月
- ISBN：9783319836386
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：258 p.
- DDC分類：004.1
装丁について