Author

Hengjun Zhao

2 books found

Cover of Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan, Shuling Wang, Hengjun Zhao · First published 2016

Cover of Lao dong ke xue ci dian

Lao dong ke xue ci dian

Jianjie Zhao, Hengjun Peng · First published 1992