Yazar
Hengjun Wang
3 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
Ke ji qi kan guo ji hua yan jiu =
Hengjun Wang, Shuhua Wang · Zhongguo di zhi da xue chu ban she
268 sayfa · 2011
Scientific literature / Technical literature