Fault tree analysis method based on probabilistic model checking and discrete time Markov Chain
Year: 2019
Type: article
Authors: Ying-Kui Gu, Jun Zhang, Yan-Jun Shen, Chao-Jun Fan
Institution: Jiangxi University of Science and Technology
Language: English
Topic: Risk and Safety Analysis
Subfield: Statistics, Probability and Uncertainty
Field: Decision Sciences
Domain: Social Sciences
Open Access status: closed
OpenAlex ID: W2965802610