An Analysis of Air Traffic Management Concepts of Operation Using Simulation and Formal Verification

TitleAn Analysis of Air Traffic Management Concepts of Operation Using Simulation and Formal Verification
Publication TypeConference Paper
AuthorsMa, L. M., A. Houser, K.M.. Feigh, and M. Bolton
Map of Cognitive Engineering Center

Cognitive Engineering Center (CEC)
Georgia Institute of Technology
270 Ferst Drive
Atlanta GA 30332-0150