机译:使用无人驾驶多飞机系统可靠性分析的可携带工具:案例研究
Virginia Tech Kevin T Crofton Dept Aerosp & Ocean Engn Blacksburg VA 24061 USA;
Amer Univ Beirut Dept Mech Engn Beirut 11072020 Lebanon;
Virginia Tech Kevin T Crofton Dept Aerosp & Ocean Engn Blacksburg VA 24061 USA;
Compositional reasoning; formal verification; system analysis and design; temporal logic of actions; unmanned aerial vehicles;
机译:枢轴分解在无人机容错控制系统可靠性分析中的应用
机译:大量新旧系统组成的可靠性分析和最优混合策略
机译:基于磨损或断裂引起的刀具寿命的统计性刀具更换程序-高可靠性加工系统设计的研究
机译:社会技术系统可靠性分析管理工具 - 以案例研究
机译:复杂系统可靠性分析与设计研究
机译:CatWalk系统作为静态和动态步态分析工具用于评估小动物模型中的功能性神经恢复的有效性和可靠性
机译:由两个2-out-of-3-G子系统组成的复杂可修复系统的可靠性分析