|
[JKK25]
Daehui Jeong, Gihwon Kwon and Ryeonggu Kwon.
Probabilistic SIL Verification of a Synthesized Fault-tolerant Model for Reliable Safety Assessment.
IEEE Access.
2025.
[Performs a SIL (Safety Integrity Level) analysis of risk for fault-tolerant architectures using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|