Failure effects analysis on safety properties for hard logic in reactor protection system using model checking
| Autor: | Liu, Mingxing, Ma, Quan, Wang, Junfeng, Lin, Tao, Wu, Yanqun, Hou, Rongbin |
|---|---|
| Zdroj: | In Nuclear Engineering and Technology October 2024 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|