Login / Signup
Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network.
Hamra Afzaal
Nazir Ahmad Zafar
Published in:
Complex Adapt. Syst. Model. (2016)
Keyphrases
</>
formal analysis
wireless sensor
recovery algorithm
network management
wireless sensor networks
sensor networks
network security
agent model
formal methods
network traffic
peer to peer
computer networks
fault tolerance
communication networks
wireless communication