59 citations · 177 across the 62 of their papers we have counts for
1 paper · 2 filters
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen +1
A Boolean logic driven Markov process (BDMP) is a dependability analysis model that defines a continuous-time Markov chain (CTMC). This formalism has high expressive power, yet it…