Formal analysis of a calculus for WSNs from quality perspective.

Xi Wu Huibiao Zhu

Published in: Sci. Comput. Program. (2018)

Keyphrases

formal analysis
wireless sensor networks
high quality
agent model
formal methods
sensor networks
artificial intelligence
data collection
energy consumption
energy efficient
ban logic
software engineering
routing protocol