DMCA

A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains

by Hichem Boudali , Pepijn Crouzen , Mariëlle Stoelinga
Citations:16 - 9 self