Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ruijters, Enno"'
Autor:
Budde, Carlos E., Ruijters, Enno, Stoelinga, Mariëlle, Gribaudo, Marco, Jansen, David N., Remke, Anne
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783030598532
QEST
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings, 233-238
STARTPAGE=233;ENDPAGE=238;TITLE=Quantitative Evaluation of Systems
QEST
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings, 233-238
STARTPAGE=233;ENDPAGE=238;TITLE=Quantitative Evaluation of Systems
The dynamic-fault-tree rare event simulator, DFTRES, is a statistical model checker for dynamic fault trees (DFTs), supporting the analysis of highly dependable systems, e.g. with unavailability or unreliability under \(10^{-30}\). To efficiently est
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5edb85bbd0b1859dcd8a8e1b2159752
https://doi.org/10.1007/978-3-030-59854-9_17
https://doi.org/10.1007/978-3-030-59854-9_17
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Fault trees (FT) are a popular industrial method for reliability engineering, for which Monte Carlo simulation is an important technique to estimate common dependability metrics, such as the system reliability and availability. A severe drawback of M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::f7b94f35c02caaecbd1b63a030a676b2
https://research.utwente.nl/en/publications/d29ea0b1-342d-48e0-9be7-ac3d487661ff
https://research.utwente.nl/en/publications/d29ea0b1-342d-48e0-9be7-ac3d487661ff