GitHub repository: shahid-khan/dft-bdmp
Primary language: C++
Description: Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)