GitHub repository: moves-rwth/dft-bdmp
Primary language: C++
Created: 2019-07-10T10:48:32Z
Description: Transformation from Boolean Logic Driven Markov Processes (BDMPs) to Dynamic Fault Trees (DFTs)