التفاصيل البيبلوغرافية
| العنوان: |
A Verified UAV Flight Plan Generator |
| المؤلفون: |
Pollien, Baptiste, Garion, Christophe, Hattenberger, Gautier, Roux, Pierre, Thirioux, Xavier |
| المصدر: |
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :130-140 May, 2023 |
| Relation: |
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder