AIR TRAFFIC CONTROL; MATHEMATICAL MODELS; AIR TRANSPORTATION; AUTOMATIC CONTROL; GENERAL AVIATION AIRCRAFT; AIRPORTS; AIRSPACE; AIRCRAFT SPECIFICATIONS; TRAJECTORIES; COMPUTER PROGRAMS; THEOREM PROVING; PROGRAM VERIFICATION (COMPUTERS);
机译:走向SATS同时移动飞机(SATS-SMA)的概率形式分析
机译:将数据链接消息传递整合到多功能显示器中,以支持小型飞机运输系统(SATS)和通用飞机的自动分离
机译:未来小型飞机运输系统的轨迹管理概念
机译:小型飞机运输系统高容量运营(SATS HVO)概念的初步验证
机译:集成燃料的能量回收飞机发动机的概念设计和初步分析
机译:verifai的神经网络飞机滑行系统正式分析与重新设计
机译:创新运输未来创新:小型飞机运输系统(SAT)