机译:对NPP系统适用性的安全关键系统安全性分析:最先进的评论
Natl Inst Technol Jamshedpur Dept Comp Sci & Engn Jamshedpur 831014 Bihar India;
Motilal Nehru Natl Inst Technol Allahabad Dept Comp Sci & Engn Allahabad Uttar Pradesh India;
Banaras Hindu Univ Varanasi Uttar Pradesh India;
Indian Inst Technol BHU Varanasi Uttar Pradesh India;
VJTI Mumbai Maharashtra India;
Natl Inst Technol Jamshedpur Dept Comp Sci & Engn Jamshedpur 831014 Bihar India;
Motilal Nehru Natl Inst Technol Allahabad Dept Comp Sci & Engn Allahabad Uttar Pradesh India;
Markov model; Petri net; reliability; safety analysis; safety-critical system;
机译:安全关键系统的可靠性:最先进的评论
机译:使用随机造型的NPP安全关键和控制系统的可用性分析
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:NuSEE:NPP安全关键系统的软件规范和V&V集成环境
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:系统系统分析框架,用于分析暴露于外部事件的安全关键工厂的风险