Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm

Manqing Zhang, Renliang Wu, Kang Su,Yunwei Dong,Tao Zhang

2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS（2024）

引用 0|浏览3

关键词

Unmanned aerial vehicle swarm,Application scenarios,Meta-level theory,Formal verification

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要