Artifact for "Modular criticality analysis for dynamic fault trees"

Dataset

Description

This artifact contains the fault trees and log files of the experimental evaluation from the paper "Modular criticality analysis for dynamic fault trees". The implementation is available in the SAFEST tool.
Date made available7 Nov 2024
PublisherZenodo

Cite this