Title :
Verification, validation, and demonstration of an aerodrome map information service
Abstract :
Represents a collection of aerodrome information that is organized and arranged for ease of electronic storage and retrieval in systems that support aerodrome surface movements, training, charting, and planning.
Keywords :
aerospace computing; formal verification; information retrieval; information services; storage management; aerodrome map information service demonstration; aerodrome map information service validation; aerodrome map information service verification; aerodrome surface charting; aerodrome surface movements; aerodrome surface planning; aerodrome surface training; electronic retrieval; electronic storage;
Conference_Titel :
Integrated Communications, Navigation and Surveillance Conference (ICNS), 2013
Conference_Location :
Herndon, VA
Print_ISBN :
978-1-4673-6251-1
DOI :
10.1109/ICNSurv.2013.6548593