DFTRES tool demo (video)

  • Carlos Esteban Budde (Creator)

Dataset

Description

Video demoing the DFTRES tool, prepared for the 17th International Conference on Quantitative Evaluation of Systems (QEST 2020)
Date made available17 Aug 2020
Publisherfigshare

Access Dataset

  • The Dynamic Fault Tree Rare Event Simulator

    Budde, C. E., Ruijters, E. & Stoelinga, M., 31 Aug 2020, (E-pub ahead of print/First online) 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File

Cite this