|
[SYBG21]
Qi Shao, Shunkun Yang, Chong Bian and Xiaodong Gou.
Formal Analysis of Repairable Phased-Mission Systems With Common Cause Failures.
IEEE Transactions on Reliability.
2021.
[Proposes methods for reliability analysis of phased-mission systems, building on probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|