Exploration and Practice in Clinical BiobanksXiaomin Wang, Hengjun Gao · First published 2023Open the Tome
Formal Verification of Simulink/Stateflow DiagramsNaijun Zhan, Shuling Wang, Hengjun Zhao · First published 2016Open the Tome
