Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm

Manqing Zhang, Renliang Wu, Kang Su, Yunwei Dong, Tao Zhang 0001. Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm. In 24th IEEE International Conference on Software Quality, Reliability and Security, QRS 2024, Cambridge, United Kingdom, July 1-5, 2024. pages 364-375, IEEE, 2024. [doi]

Abstract

Abstract is missing.