Verification of Distributed Real-Time and Fault-Tolerant Protocols.
Jozef HoomanPublished in: AMAST (1997)
Keyphrases
- fault tolerant
- real time
- distributed systems
- fault tolerance
- safety critical
- key distribution
- load balancing
- high assurance
- high availability
- state machine
- model checking
- mobile agents
- real time systems
- low cost
- distributed environment
- multistage
- privacy preserving
- interconnection networks
- mobile agent system
- fault isolation