C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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