Vol-1756⫷ Vol-1757 ⫸Vol-1758
urn:nbn:de:0074-1757-0


Vol-1757/paper8⫷Vol-1757/paper9⫸Vol-1757/paper10
Maryam EhsanpourMatteo G. RossiLuciano BaresiErnesto Damiani

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods