A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.

Hichem Boudali Pepijn Crouzen Mariëlle Stoelinga

Published in: ATVA (2007)

Keyphrases

markov chain
steady state
compositional semantics
finite state
transition probabilities
markov processes
random walk
state space
stationary distribution
probabilistic automata
higher order