机译:走向SATS同时移动飞机(SATS-SMA)的概率形式分析
Natl Univ Sci & Technol NUST, SEECS, Islamabad, Pakistan;
Natl Univ Sci & Technol NUST, SEECS, Islamabad, Pakistan;
Natl Univ Sci & Technol NUST, SEECS, Islamabad, Pakistan;
Univ Oxford, Dept Comp Sci, Oxford, England;
Formal verification; Probabilistic analysis; Model checking; SATS concept of operations; Aircraft safety;
机译:低延迟近似加法器的形式概率分析
机译:不同虚拟夹具外科机器人控制算法的正式概率分析
机译:概率模型检查正式分析劣化影响问题
机译:用于飞机结构完整性和疲劳维护的概率风险评估工具AMETA(飞机维护事件树分析)
机译:使用概率模型检查对DNS攻击进行形式化分析及其对策。
机译:verifai的神经网络飞机滑行系统正式分析与重新设计
机译:使用最佳估计结构分析制定临时干式存储设施的概率安全评估框架,以应对飞机坠毁
机译:远离正式外国军售(Fms)飞机销售程序的影响。