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

Author/creator Hagen, George E. author.
Other author Butler, Ricky W., author.
Other author Langley Research Center, issuing body.
Other author United States. National Aeronautics and Space Administration sponsoring body.
Format Electronic
PublicationHampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, December 2014.
Description1 online resource (36 pages) : color illustrations.
Supplemental Contenthttps://purl.fdlp.gov/GPO/gpo59325

SeriesNASA/TM ; 2014-218662
NASA technical memorandum 2014-218662. ^A467613
General noteTitle from title screen (viewed Aug. 5, 2015).
General note"December 2014."
General noteGPO Cataloging Record Distribution Program (CRDP).
Bibliography noteIncludes bibliographical references (pages 28-29).
Funding informationSponsored by the National Aeronautics and Space Administration 411931.02.02.07.13.01
Funding informationL-20476
GPO item number0830-D (online)
Govt. docs number NAS 1.15:2014-218662

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available