| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach | 978-3-319-47O14-6 (3-319-47O14-O) | 2016 | Naijun Zhan · Shuling Wang |
H. Zhao · Hengxiang Zhou · Hongmei Zhou · Hongmei Zhu · Hongming Zhu · Hongwen Zhao · Hongxing Zhu · Hongxuan Zhu · Hongyuan Zha · Hongzhuan Zhou