Research Output 1998 2018

Filter
Report
2007
53 Citations

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

Fehnker, A., Fehnker, A., van Hoesel, L. F. W. & Mader, A. H. 6 Feb 2007 Enschede: Distributed and Embedded Security (DIES). 20 p. (CTIT Technical Report Series; no. TR-CTIT-07-09)

Research output: ProfessionalReport

Model checking
Topology
Medium access control
Explosions
Wireless sensor networks