Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept

By National Aeronautics and Space Administration

Technical Report Carrreno, Victor A. and Gottliebsen, Hanne and Butler, Ricky and Kalvala, Sara Langley Research Center NASA/TM-2004-212999, NAS 1.15:212999, L-18449 WBS 23-786-10-10 AIR TRAFFIC CONTROL; MATHEMATICAL MODELS; AIR TRANSPORTATION; AUTOMATIC CONTROL; GENERAL AVIATION AIRCRAFT; AIRPORTS; AIRSPACE; AIRCRAFT SPECIFICATIONS; TRAJECTORIES; COMPUTER PROGRAMS; THEOREM PROVING; PROGRAM VERIFICATION (COMPUTERS)

• Format: Paperback
• Language: English
• ISBN: B08F6QNVVH
• ISBN13: 9798673119204
• Release Date: January 1
• Publisher: Independently Published
• Length: 44 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.1" x 8.5" x 11.0"