Project B03: Formal Methods for Quantitative Analysis and Optimization of Energy Modelshttps://tu-dresden.de/ing/forschung/sonderforschungsbereiche/sfb912/publikationen/b03https://tu-dresden.de/logo.png
Project B03: Formal Methods for Quantitative Analysis and Optimization of Energy Models