Sign in

Revising and Extending the Uppaal Communication Mechanism.

Abdeldjalil BoudjadarJean-Paul BodeveixMamoun 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