External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking

Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria. Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. In Rolf Drechsler, Robert Wille, editors, 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. pages 1-8, IEEE, 2016. [doi]

Abstract

Abstract is missing.

runs on