ABAC; Refresh; Consistency; Safety; Availability;
机译:使用基于多状态的可用性模型的定期监视测试策略,以有效增强NPP中关键安全系统的可用性
机译:高可用性四重重要计算机系统的设计和可靠性,可用性,可维护性和安全性分析
机译:高可用性四重重要计算机系统的设计和可靠性,可用性,可维护性以及安全性分析
机译:刷新而非撤消可增强安全性和可用性:正式分析
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:肺动脉高压患者中安布森坦波生坦和西地那非安全性和有效性的联合方法(形式调整的间接比较荟萃分析和主成分分析)
机译:基于定性和定量形式化模型的安全性分析:按安全性按钮
机译:航空安全:加强监督和提高基于风险的数据的可用性可以进一步提高安全性