Login / Signup
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.
Mark L. McKelvin Jr.
Gabriel Eirea
Claudio Pinello
Sri Kanajan
Alberto L. Sangiovanni-Vincentelli
Published in:
EMSOFT (2005)
Keyphrases
</>
fault tolerant
distributed systems
fault tolerance
safety critical
qualitative analysis
fault tree
high assurance
mobile agents
intelligent systems
interconnection networks
complex systems
distributed database systems
formal methods
high availability
reliability analysis
markov chain
state machine
image analysis