Asynchronous feedback; Functional safety; Stabilization; Hazard-free; Parallel de-composition; Dual-rail;
机译:使用UML转换为状态空间模型的安全关键系统的可靠性和性能分析
机译:背景技术领导:在安全关键环境中转型领导和逐种异常活跃
机译:对NPP系统适用性的安全关键系统安全性分析:最先进的评论
机译:安全关键型系统中的从摩尔到摩尔的转换
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:图转换系统中的规则不变性,用于分析安全关键系统