Safety case methodology; Assurance case; Argumentation; Unmanned aircraft systems; Aviation safety; Safety assurance;
机译:定量和基于风险的无人机控制系统保障框架
机译:时滞无人飞机系统的代数主导极点配置方法
机译:使用无人飞机系统进行大规模声波轰炸飞行测试的方法
机译:为无人驾驶飞机系统开发保证论据的方法
机译:网络物理系统的高度保证控制及其在无人机系统中的应用。
机译:蚊虫控制自主无人机系统的发展
机译:开发一种用于评估无人驾驶飞机系统与地面碰撞风险的安全评估方法
机译:方法,语言和提供信息安全保障参数的工具。