SAFEST: Fault Tree Analysis Via Probabilistic Model Checking

Thumbnail Image

Date

2024

Authors

Volk, M.
Sher, F.
Katoen, J.P.
Stoelinga, M.I.A. Marielle

Journal Title

Journal ISSN

Volume Title

Publisher

Piscataway : IEEE

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/306316

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By