Modeling Functional Specifications of Ground Systems in the NAS

Abstract

The goal of the Airspace operations and Safety Program (AOSP) at NASA is to develop new concepts and technologies for air traffic management that can be integrated within the National Airspace (NAS ...

Original document

The different versions of the original document can be found in:

• http://pdfs.semanticscholar.org/9157/b1f330c184b4b84091f8d468c48654646fcc.pdf

• http://arc.aiaa.org/doi/pdf/10.2514/6.2016-3681,

http://dx.doi.org/10.2514/6.2016-3681

• https://arc.aiaa.org/doi/10.2514/6.2016-3681,

http://www.diva-portal.org/smash/record.jsf?pid=diva2:1057186,

http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1050257,

https://academic.microsoft.com/#/detail/2409654034