Login / Signup
Design and Verification of a Projectile Structure for Main-belt Comets Penetration Exploration.
Junyue Tang
He Liang
Cheng Chi
Junxiao Xiao
Zixiao Lu
Ziyun Yao
Zekun Ha
Shengyuan Jiang
Published in:
ROBIO (2022)
Keyphrases
</>
case study
engineering design
database
information systems
collaborative learning
knowledge based systems
optimal design
design space
formal verification
databases
real world
software engineering
model checking
hierarchical structure
control structure