机译:航空场景定义语言(ASDL)中的模拟场景的形式验证
机译:使用航空方案定义语言自动生成飞行模拟方案
机译:用于外语教学的移动技术:在非正式和正式方案之间架起桥梁
机译:航空的正式情景定义语言:飞机着陆案例研究
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:在运输飞机进近和着陆期间飞行员神经系统的研究。
机译:航空的正式情景定义语言:飞机着陆案例研究
机译:在国家mLs发展计划的技术分析和合同定义阶段,Hazeltine公司提出的微波着陆系统(mLs)发展计划。第三卷。数据正式模拟计算机研究。