A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes

Marc Bouissou, Jean-Louis Bon. A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Rel. Eng. & Sys. Safety, 82(2):149-163, 2003. [doi]

Abstract

Abstract is missing.