Back to Results
First PageMeta Content
Avionics / Theoretical computer science / Aircraft collision avoidance systems / Warning systems / Traffic collision avoidance system / Air traffic control / Formal methods / Self-separation / Unmanned aerial vehicle / Formal verification


Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia
Add to Reading List

Document Date: 2015-11-24 11:55:34


Open Document

File Size: 127,60 KB

Share Result on Facebook
UPDATE