Treffer: Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain
Title:
Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain
Authors:
Source:
2025 IEEE Annual Reliability and Maintainability Symposium - Europe (RAMS-Europe) Reliability and Maintainability Symposium - Europe (RAMS-Europe), 2025 IEEE Annual. :1-9 Aug, 2025
Relation:
2025 IEEE Annual Reliability and Maintainability Symposium - Europe (RAMS-Europe)
Database:
IEEE Xplore Digital Library