Login / Signup

Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol.

Youcef HammalJalel Ben-OthmanLynda MokdadAbdelli Abdelkrim
Published in: ISCC (2014)
Keyphrases
  • multiple access
  • cellular automata
  • formal analysis
  • lightweight
  • ad hoc networks
  • medium access control
  • formal model
  • modeling method
  • communication protocol
  • wireless lan
  • network protocols