Sign in
Architectural-Based Validation of Fault-Tolerant Software.
Patrick H. S. Brito
Rogério de Lemos
Eliane Martins
Regina Lúcia de Oliveira Moraes
Cecília M. F. Rubira
Published in:
LADC (2009)
Keyphrases
</>
fault tolerant
fault tolerance
safety critical
software architecture
distributed systems
load balancing
high assurance
state machine
high availability
software systems
software development
fine grained
computer systems
commercial off the shelf
database
operating system
source code
user interface
expert systems