Rigorous Development of Fault-Tolerant Systems through Co-refinement.
Ilya LopatkinAlexander B. RomanovskyPublished in: Ada-Europe (2014)
Keyphrases
- fault tolerant
- safety critical
- distributed systems
- fault tolerance
- knowledge based systems
- high assurance
- support systems
- load balancing
- multi agent
- high availability
- formal methods
- management system
- complex systems
- development process
- wireless networks
- learning systems
- database management systems
- intelligent systems
- multi agent systems
- case study