机译:使用Petri网验证核电站安全关键和控制系统
IIT BHU Dept Math Sci Varanasi Uttar Pradesh India;
IIT BHU Dept Comp Sci & Engn Varanasi Uttar Pradesh India;
Safety-critical systems; Performance analysis; Petri nets; Markov chain;
机译:使用Petri网验证核电厂的安全关键和控制系统
机译:使用Petri网设计核电厂安全关键和控制系统
机译:使用彩色Petri网验证核电厂一次到二次泄漏的安全程序
机译:一种量化基于软件的核电厂安全关键仪器与控制系统的可靠性属性的方法
机译:核电厂安全验证应用的不确定度量化。
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:使用彩色Petri网验证核电厂的一次到二次泄漏安全程序