Revising and Extending the Uppaal Communication Mechanism.

Abdeldjalil Boudjadar Jean-Paul Bodeveix Mamoun Filali

Published in: SC@TOOLS (2012)

Keyphrases

communication protocol
model checking
communication systems
real time
computational model
computer networks
real world
database
case study
belief revision
learning mechanism
mechanism design
human computer