Results 281 to 290 of about 103,221 (295)

A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic Fault Trees

IEEE Transactions on Reliability, 2014
Yuchang Mo
exaly  

Model Event/Fault Trees With Dynamic Uncertain Causality Graph for Better Probabilistic Safety Assessment

IEEE Transactions on Reliability, 2017
Zhenxu Zhou, Qin Zhang
exaly  

From Dynamic Fault Tree to Dynamic Bayesian Networks

2015
openaire   +1 more source

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Computer Science Review, 2015
Enno Ruijters, Marielle Stoelinga
exaly  

Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees

Reliability Engineering and System Safety, 2011
exaly  

The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation

Electronic Notes in Theoretical Computer Science, 2005
Daniele Codetta-Raiteri
exaly  

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

IEEE Transactions on Industrial Informatics, 2018
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen   +2 more
exaly  

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

Reliability Engineering and System Safety, 2003
Marc Bouissou
exaly  

Distributed Dynamic Fault-Tolerant Routing in Fat Tree

Chinese Journal of Computers, 2010
Nong-Da HU, Da-Wei WANG, Ning-Hui SUN
openaire   +1 more source

Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees

IEEE Transactions on Dependable and Secure Computing, 2009
Salvatore Distefano, Antonio Puliafito
exaly