Login / Signup

Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets.

Éric GarciaJulien HenrietJean-Christophe Lapayre
Published in: CDVE (2005)
Keyphrases
  • communication protocol
  • coloured petri nets
  • cscw systems
  • sensor fusion
  • communication protocols
  • formal verification
  • face to face communication
  • wifi
  • neural network
  • wireless sensor networks