[ACM Press the 19th ACM International Conference - Malta, Malta (2016.11.13-2016.11.17)] Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems - MSWiM '16 - Formal Analysis and Verification of the IEEE 802.15.4 DSME Slot Allocation
Kauer, Florian, Köstler, Maximilian, Lübkert, Tobias, Turau, VolkerYear:
2016
Language:
english
DOI:
10.1145/2988287.2989148
File:
PDF, 781 KB
english, 2016