There are 0 repository under fault-tree topic.
A Modern Probabilistic Model Checker
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
This is a tutorial for the package FaultTree from openreliability.com
Java-based System Reliability Evaluation Library
An inverse estimation technique for back-fitting conditional/functional event probability distributions in an event tree to match target end-state frequencies.
Repository for my Impianti di Elaborazione final project