Record Nr.

UNINA9910703731503321

Autore

Hagen George E.

Titolo

Towards a formal semantics of flight plans and trajectories / / George E. Hagen and Ricky W. Butler

Pubbl/distr/stampa


Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , December 2014

Descrizione fisica

1 online resource (36 pages) : color illustrations

Collana

NASA/TM ; ; 2014-218662

Soggetti

Flight plans

Trajectories

National Airspace System

Flight management systems

Air traffic control

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Title from title screen (viewed Aug. 5, 2015).

"December 2014."

Nota di bibliografia

Includes bibliographical references (pages 28-29).