基于随机Petri网和蒙特卡洛模拟的高需求系统安全完整性等级验证
Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation
Reliability Engineering and System Safety · 2018
被引 30
ABS 3
- Xianqiong Zhao 通讯
- Olaf Malassé
- Grégory Buchheit
安全完整性等级随机Petri网蒙特卡洛模拟可靠性工程系统安全