Yazar
Hengjun Zhao
1 cilt bulundu.
Cilt sonuçları
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao · Springer International Publishing AG
273 sayfa · 2016
Computer simulation / Computer software
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Naijun Zhan, Shuling Wang, Hengjun Zhao · Springer International Publishing AG
273 sayfa · 2016
Computer simulation / Computer software