Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism.
Ayman M. WahbaIslam A. M. El-MaddahPublished in: FDL (2007)
Keyphrases
- distributed systems
- real time
- real time systems
- concurrent systems
- fault tolerance
- fault tolerant
- load balancing
- distributed environment
- operating system
- distributed computing
- message passing
- distributed database systems
- geographically distributed
- vision system
- mobile agents
- data replication
- control system
- high assurance
- artificial intelligence
- agent based systems
- data availability
- database systems
- loosely coupled
- mobile computing
- mobile devices
- database
- model checking
- sensor networks
- semantic web