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

Formal Analysis and Verification of the IEEE 802.15.4 DSME Slot Allocation.

Florian KauerMaximilian KöstlerTobias LübkertVolker Turau
Published in: MSWiM (2016)
Keyphrases
  • formal analysis
  • formal methods
  • division multiple access
  • optimal allocation
  • mac protocol
  • resource allocation
  • agent model
  • model checking
  • computer society
  • ban logic
  • database
  • wireless lan