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

Florian Kauer Maximilian Köstler Tobias Lübkert Volker 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