Using Real-Time Maude to Model Check Energy Consumption Behavior.

Published in: FM (2015)

Keyphrases

real time
energy consumption
sensor networks
energy efficient
data sets
control system
low cost
shortest path
routing algorithm
base station
energy efficiency
data aggregation
power management