Projekt B03: Formale Methoden für die quantitative Analyse und Optimierung von Energiemodellenhttps://tu-dresden.de/ing/forschung/sonderforschungsbereiche/sfb912/publikationen/b03https://tu-dresden.de/logo.png
Projekt B03: Formale Methoden für die quantitative Analyse und Optimierung von Energiemodellen