Login / Signup
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
Published in:
MARS@ETAPS (2017)
Keyphrases
</>
protocol specification
cryptographic protocols
clustering algorithm
hierarchical structure
formal analysis
lightweight
tree structure
model checking
wireless networks
arc consistency
formal verification
tree nodes
link layer