机译:专门用于飞行安全评估的计算机系统分析
机译:L-3航空电子系统:专用于飞行安全
机译:未来专用的Venus-SGG飞行任务:精度评估和性能分析
机译:安全关键计算机系统定量安全评估的研究框架
机译:模块化马尔可夫分析的定量安全评估计算机基于计算机的I&C系统
机译:对安全至关重要的计算机系统的定量安全评估。
机译:生物质氢生产的过程分析在计算机辅助安全和环境评估下的气化
机译:可配置的飞行安全系统,用于航空系统的发展趋势和统计分析-以及有效的飞行安全工具的嵌入式视角
机译:高速地面运输系统的安全性:计算机控制子系统安全验证的分析方法。第1卷。安全验证/验证方法的最新技术和评估