Formal Specifications for Real-Time Fault-Tolerant Systems.
E. B. FernandezPublished in: NATO ASI RTC (1992)
Keyphrases
- fault tolerant
- safety critical
- distributed systems
- fault tolerance
- real time
- formal specification
- formal methods
- load balancing
- high availability
- concurrent systems
- knowledge based systems
- complex systems
- high assurance
- object oriented design
- interconnection networks
- response time
- business processes
- support systems
- building blocks
- intelligent systems
- object oriented
- sensor networks
- multimedia
- artificial intelligence