Integrating runtime verification into an automated UAS traffic management system
- Award ID(s):
- 1718420
- NSF-PAR ID:
- 10281528
- Date Published:
- Journal Name:
- Innovations in Systems and Software Engineering
- ISSN:
- 1614-5046
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found