research
∙
02/06/2022
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
Fault trees are a key model in reliability analysis. Classical static fa...
share
research
∙
04/28/2020
Various Ways to Quantify BDMPs
A Boolean logic driven Markov process (BDMP) is a dependability analysis...
research
∙
08/02/2018
