Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams

Daochuan Ge, Meng Lin, Yanhua Yang, Ruoxing Zhang, Qiang Chou. Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams. Rel. Eng. & Sys. Safety, 142:289-299, 2015. [doi]

@article{GeLYZC15,
  title = {Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams},
  author = {Daochuan Ge and Meng Lin and Yanhua Yang and Ruoxing Zhang and Qiang Chou},
  year = {2015},
  doi = {10.1016/j.ress.2015.06.001},
  url = {http://dx.doi.org/10.1016/j.ress.2015.06.001},
  researchr = {https://researchr.org/publication/GeLYZC15},
  cites = {0},
  citedby = {0},
  journal = {Rel. Eng. & Sys. Safety},
  volume = {142},
  pages = {289-299},
}