Zekun Ha

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

Publications

Junyue Tang, He Liang, Cheng Chi, Junxiao Xiao, Zixiao Lu, Ziyun Yao, Zekun Ha, Shengyuan Jiang
Design and Verification of a Projectile Structure for Main-belt Comets Penetration Exploration. ROBIO (2022)
Junyue Tang, Zekun Ha, Junxiao Xiao, Cheng Chi, Ziyun Yao, He Liang, Shengyuan Jiang
A Helium Type Turbo-blasting Device (TBD) into a Penetrating Probe for Main-belt Comets Volatiles Exploration. ROBIO (2022)