iNeP - integrierte Netzentwicklungsplanung für die Energieträger Strom, Gas und Wärme Vorwerk, Daniela; Schulz, Detlef; Micheely, Stefan; Koch, Oliver Henry; Cosler, Cristoph; Heise, Johannes; Mostafa, Marwan; Povel, Alexander; Töbermann, Christian Stand der Technik und Digitalisierung bei integrierten Energiesystemen, Sektorenkopplungs- und Mobilitätstechnologien. - Hamburg : HSU, 2021. - (Hamburger Beiträge zum technischen Klimaschutz ; Bd. 3). - Seite 47-56 (2021)
Open Access
|
Verlags DOI
Recent developments of verification techniques and applications
Voraussetzungen:
<ul><li>Automata theory and formal languages</li><li>Computational logic</li><li>Object-oriented programming, algorithms, and data structures</li><li>Functional programming or procedural programming</li><li>Concurrency<br /></li></ul>
Leistungsnachweis:
Written exam
ECTS-Kreditpunkte:
3
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 56
Anzahl der Postings im Stud.IP-Forum: 36
Anzahl der Dokumente im Stud.IP-Downloadbereich: 346
Betreute Abschlussarbeiten
laufende
beendete
2022
Barthelme, J. (2022). Technisch-ökonomische Systemmodellierung und -anlayse eines urbanen Quatiers hinsichtlich des Einsatz von Wasserstoff als primärer Energieträger.