DFTRES tool demo (video)

  • Carlos Esteban Budde (Creator)



Video demoing the DFTRES tool, prepared for the 17th International Conference on Quantitative Evaluation of Systems (QEST 2020)
Date made available17 Aug 2020
  • The Dynamic Fault Tree Rare Event Simulator

    Budde, C. E., Ruijters, E. & Stoelinga, M., 2020, Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. Gribaudo, M., Jansen, D. N. & Remke, A. (eds.). Cham: Springer, p. 233-238 6 p. (Lecture Notes in Computer Science; vol. 12289)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    3 Citations (Scopus)
    65 Downloads (Pure)

Cite this