Subject
Public Health, Environmental and Occupational Health,Safety Research,Safety, Risk, Reliability and Quality
Reference48 articles.
1. The AltaRica formalism for describing concurrent systems;Arnold;Fundam. Informaticae,2000
2. Bittner, B., Bozzano, M., Cavada, R., Cimatti, A., Gario, M., Griggio, A., Mattarei, C., Micheli, A., Zampedri, G., 2016. The xSAP safety analysis platform, in: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. pp. 533–539.
3. Exploiting petri nets to support fault tree based dependability analysis;Bobbio,1999
4. Improving the analysis of dependable systems by mapping fault trees into Bayesian networks;Bobbio;Reliab. Eng. Syst. Saf.,2001
5. A continuous-time bayesian network reliability modeling, and analysis framework;Boudali;IEEE Trans. Reliab.,2006
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献