Onera-DCSD, Toulouse, France;
机译:根据ISO 20906的飞机噪声监控。对飞机噪声事件进行分类和识别得出的不确定性评估
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:使用状态令牌Petri Net对计算机化过程执行进行建模以对过程流进行正式验证
机译:用于在不确定性下的飞机程序监测的粒子Petri网
机译:机载监测可将工程纳米材料与附带的颗粒区分开来,并为碳纳米管样品制备开发安全的实验室程序。
机译:使用EGNOS数据监控SBAS APV着陆程序的飞机位置
机译:使用杂种粒子培养网的行星罗孚的健康监测