Login / Signup
Integrating Runtime Verification into an Automated UAS Traffic Management System.
Matthew Cauwels
Abigail Hammer
Benjamin Hertz
Phillip H. Jones
Kristin Y. Rozier
Published in:
ECSA Companion (2020)
Keyphrases
</>
management system
semi automated
decision support system
model checking
network traffic
fully automated
real time
database management systems
computer aided
face verification
asynchronous circuits
decision making
relational databases
automated analysis
signature verification