![](/img/cover-not-exists.png)
Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving
Abed, Saâed, Rashid, Adnan, Hasan, OsmanJournal:
Journal of Aerospace Information Systems
DOI:
10.2514/1.I010730
Date:
June, 2020
File:
PDF, 701 KB
2020