ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction.
Cristina SeceleanuPublished in: ISoLA (3) (2018)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- message passing
- fault tolerance
- geographically distributed
- distributed computing
- load balancing
- operating system
- model checking
- high assurance
- mobile agents
- agent based systems
- distributed database systems
- temporal logic
- agent technology
- replicated data
- real time systems
- deadlock detection
- software development environments
- loosely coupled
- security policies
- database management systems