Integrated Environment for Verifying and Running Distributed Components.
Ludovic HenrioOleksandra KulankhinaSiqi LiEric MadelainePublished in: FASE (2016)
Keyphrases
- distributed systems
- computing environments
- mobile sensor
- multi agent
- mobile robot
- distributed environment
- databases
- cooperative
- data sets
- computing platform
- autonomous mobile
- distributed network
- open systems
- heterogeneous environments
- web environment
- loosely coupled
- distributed data
- distributed database systems
- autonomous agents
- model checking