Verifying the correct composition of distributed components: Formalisation and Tool.
Ludovic HenrioOleksandra KulankhinaDongqian LiuEric MadelainePublished in: FOCLASA (2014)
Keyphrases
- distributed systems
- software tools
- artificial intelligence
- distributed network
- formal analysis
- multi agent
- load balancing
- model checking
- distributed environment
- fault tolerant
- website
- real time
- database systems
- cooperative
- case study
- software development
- building blocks
- mobile agents
- loosely coupled
- information systems
- distributed architecture