most citedModelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.NI2017★ 1 cited

Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode

Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski

Correct and efficient initialization of wireless sensor networks can be challenging in the face of many uncertainties present in ad hoc wireless networks. In this paper we examine…