![](/img/cover-not-exists.png)
Fault tree analysis method based on probabilistic model checking and discrete time Markov Chain
Gu, Ying-Kui, Zhang, Jun, Shen, Yan-Jun, Fan, Chao-JunLanguage:
english
Journal:
Journal of Industrial and Production Engineering
DOI:
10.1080/21681015.2019.1645050
Date:
July, 2019
File:
PDF, 1.49 MB
english, 2019