• DocumentCode
    612692
  • Title

    Verification, validation, and demonstration of an aerodrome map information service

  • Author

    Gringinger, E.

  • fYear
    2013
  • fDate
    22-25 April 2013
  • Firstpage
    1
  • Lastpage
    26
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Integrated Communications, Navigation and Surveillance Conference (ICNS), 2013
  • Conference_Location
    Herndon, VA
  • ISSN
    2155-4943
  • Print_ISBN
    978-1-4673-6251-1
  • Type

    conf

  • DOI
    10.1109/ICNSurv.2013.6548593
  • Filename
    6548593
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=612692