Published December 9, 2023 | Version v1
Software Open

Fault tree reliability analysis via squarefree polynomials

  • 1. ROR icon University of Twente

Description

Artefact for the paper "Fault tree reliability analysis via squarefree polynomials" by Milan-Lopuhaä-Zwakenberg, MODELSWARD 2024.

Files

full_paper.pdf

Files (12.1 GB)

Name Size Download all
md5:1ee17875f45b2c919bb1bf457942a9d5
453.4 kB Preview Download
md5:96338c2cbeb83ae6995a5da1b4ef357b
1.1 kB Preview Download
md5:3e2fa072ab1f1fdc43f840b26ac9f119
1.0 kB Preview Download
md5:749920a754fee1bc9dcd5255a575cca7
12.1 GB Download

Additional details

Funding

CAESAR – Integrating Safety and Cybersecurity through Stochastic Model Checking 864075
European Commission
MISSION – Models in Space Systems: Integration, Operation, and Networking 101008233
European Commission