Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems.

Jianyu Zhang Long Zhang Yixuan Wu Linru Ma Feng Yang

Published in: CoRR (2024)

Keyphrases

code generation
expert systems
modeling language
model checking
case study
end users
software development
building blocks