A Methodology based on Formal Methods for Thermal Ablation Area Detection

von Brunese, Luca
Veröffentlicht in International Conference on Bioinformatics Models, Methods and Algorithms (12. : 2021 : Online) BIOSTEC 2021 ; Volume 3: BIOINFORMATICS (2021)

Cost-effective energy-efficient building retrofitting : materials, technologies, optimization and case studies

Veröffentlicht 2017