Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal.
Ferdy HanssenAngelika MaderPierre G. JansenPublished in: MASCOTS (2006)
Keyphrases
- real time
- model checking
- distributed systems
- low cost
- distributed environment
- multimedia communication
- artificial intelligence
- multi agent
- cooperative
- distributed architecture
- real time systems
- distributed network
- distributed computing
- agent technology
- computer networks
- lightweight
- control system
- reinforcement learning
- image sequences
- genetic algorithm
- neural network
- data sets