• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formal modelling and verification of the common hopping multi-channel MAC protocols.

Abdelaziz El FatniGuy JuanoleThierry Val
Published in: MSWiM (2010)
Keyphrases
  • multi channel
  • formal methods
  • cryptographic protocols
  • single channel
  • model checking
  • anti aliasing
  • channel assignment
  • formal specification
  • mac protocol
  • data broadcast