Naijun Zhan

Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao · 2016
פרטי הספר
- שנה
- 2016
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 3
- ISBN
- 9783319470160
מקור הנתונים: Wikidata

Naijun Zhan, Shuling Wang, Hengjun Zhao · 2016
מקור הנתונים: Wikidata