Dependability Modeling and Evaluation of Software Fault-Tolerant Systems.

Jean Arlat Karama Kanoun Jean-Claude Laprie

Published in: IEEE Trans. Computers (1990)

Keyphrases

fault tolerant
safety critical
distributed systems
fault tolerance
high assurance
load balancing
computer systems
complex systems
software systems
formal methods
source code
embedded systems
management system
modeling language
expert systems
high availability
interconnection networks
artificial intelligence