Claudia Picoco, Valentin Rychkov, Tunc Aldemir. A framework for verifying Dynamic Probabilistic Risk Assessment models. Rel. Eng. & Sys. Safety, 203:107099, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.