Formal Development of Reactive Fault Tolerant Systems.
Linas LaibinisElena TroubitsynaPublished in: RISE (2005)
Keyphrases
- fault tolerant
- safety critical
- distributed systems
- fault tolerance
- formal methods
- high assurance
- knowledge based systems
- agent architecture
- expert systems
- load balancing
- software engineering
- case study
- intelligent systems
- complex systems
- formal specification
- support systems
- high availability
- interconnection networks
- reactive systems
- mobile agent system
- artificial intelligence