Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs.

Sophia G. Petridou Stylianos Basagiannis Lefteris Mamatas

Published in: ICC (2017)

Keyphrases

formal methods
energy efficiency
formal analysis
energy consumption
database
data sets
databases
data mining
artificial intelligence
multi agent
natural language
user interface
wireless sensor networks
software engineering
action recognition
formal specification