Verification of Bounded Real-Time Distributed Systems With Mobility.
Bogdan AmanGabriel CiobanuPublished in: VECoS (2015)
Keyphrases
- distributed systems
- real time
- real time systems
- concurrent systems
- mobile agents
- fault tolerance
- fault tolerant
- distributed computing
- load balancing
- message passing
- distributed environment
- distributed database systems
- geographically distributed
- operating system
- loosely coupled
- model checking
- high assurance
- security policies
- database
- mobile users
- agent technology
- object oriented
- network connectivity
- replicated data
- control system