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

First Page		Document Content
Date: 2015-11-24 11:55:34 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 Source URL: shemesh.larc.nasa.gov Download Document from Source Website File Size: 127,60 KB Share Document on Facebook

	2018 17th ACM/IEEE International Conference on Information Processing in Sensor Networks Monitoring Meteorological Parameters With Crowdsourced Air Traffic Control Data Roman Trüb DocID: 1xUx6 - View Document
	Germany: Privatization of Air Traffic Control DocID: 1xTSG - View Document
	Houston Executive Airport Announces Opening A New Air Traffic Control Tower. BROOKSHIRE, TX -- (September 3, 2014) – Houston Executive Airport (HEA) has announced the opening of a new air traffic control tower beginnin DocID: 1vrHS - View Document
	For Immediate Release Media Statement Air Traffic Control Tower Evacuation Having Limited Impact on Flight Operations ST. JOHN’S, NL, January 17, 2018 – NAV Canada’s primary Air Traffic Control Tower was evacuated DocID: 1vlT7 - View Document
	An Introduction to Network Flows Over Time Martin Skutella April 25, 2008 Flow variation over time is an important feature in network flow problems arising in various applications such as road or air traffic control, pro DocID: 1ut1l - View Document