Analysis of energy-efficient buildings through simulation and formal methods
- Maryam Ehsanpour
- , Luciano Baresi
- , Matteo Rossi
- , Ernesto Damiani
- Università degli Studi di Milano
- Politecnico di Milano
Research output: Contribution to journal › Conference article › peer-review
1
Scopus
citations