Formal Verification of Simulink/Stateflow DiagramsNaijun Zhan, Shuling Wang, Hengjun Zhao · First published 2016Open the Tome
Simultaneous Localization and Mapping New Frontiers in RoboticsZhan Wang · First published 2011Open the Tome
Huanghua ao xian di qu di zhi gou zao yan hua yu you qi fen buZhan Wang · First published 1999Open the Tome