語系
Wang, Shuling.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal verification of Simulink/Stateflow diagrams = a deductive approach /
by:
Wang, Shuling.; SpringerLink (Online service); Zhan, Naijun.; Zhao, Hengjun.
(書目-語言資料,印刷品)