On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
Alexei IliasovVictor KhomenkoMaciej KoutnyAlexander B. RomanovskyPublished in: RODIN Book (2006)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- high assurance
- safety critical
- formal methods
- state machine
- mobile devices
- asynchronous circuits
- management system
- load balancing
- complex systems
- computing environments
- mobile phone
- learning systems
- formal verification
- context aware
- computer systems
- intelligent systems
- multi agent systems
- fault isolation
- adaptive systems
- location aware
- mobile computing