Analysis of Energy-Efficient Buildings through Simulation and Formal Methods.

Maryam Ehsanpour Luciano Baresi Matteo Rossi Ernesto Damiani

Published in: SIMPDA (2016)

Keyphrases

energy efficient
formal methods
wireless sensor networks
sensor networks
formal analysis
energy consumption
data analysis
software engineering
artificial intelligence
expert systems
mobile phone
black box