Artifact for "Modular criticality analysis for dynamic fault trees"
收藏官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2024-11-11
