A Hoare Logic for Energy Consumption Analysis.

Rody Kersten Paolo Parisen Toldin Bernard van Gastel Marko C. J. D. van Eekelen

Published in: FOPARA (2013)

Keyphrases

energy consumption
energy efficient
wireless sensor networks
energy saving
environmental impact
energy aware
mobile robot
cost effective
data center
base station
energy efficiency
data gathering