Courses in Stud.IP

current semester
zur Veranstaltung in Stud.IP Studip_icon
Self Studying: Model Checking - Proof Engines & Algorithms
Semester:
SoSe 24
Veranstaltungstyp:
PBL -Projekt-/problembasierte Lehrveranstaltung (Lehre)
DozentIn:
Prof. Dr.-Ing. Görschwin Fey, Dr. Gianluca Martino, M. Sc. Lutz Schammer
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Eingebettete Systeme (E-13)
In Stud.IP angemeldete Teilnehmer: 11
Anzahl der Postings im Stud.IP-Forum: 4
Anzahl der Dokumente im Stud.IP-Downloadbereich: 5
former semester
zur Veranstaltung in Stud.IP Studip_icon
Self Studying: Model Checking - Proof Engines & Algorithms
Semester:
SoSe 24
Veranstaltungstyp:
PBL -Projekt-/problembasierte Lehrveranstaltung (Lehre)
DozentIn:
Prof. Dr.-Ing. Görschwin Fey, Dr. Gianluca Martino, M. Sc. Lutz Schammer
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Eingebettete Systeme (E-13)
In Stud.IP angemeldete Teilnehmer: 11
Anzahl der Postings im Stud.IP-Forum: 4
Anzahl der Dokumente im Stud.IP-Downloadbereich: 5

Courses

For information on courses and modules, please refer to the current course catalogue and module manual of your degree programme.

Module / Course Period ECTS Credit Points
Module: Electrical Power Systems I: Introduction to Electrical Power Systems WiSe 6
Module: Electrical Power Systems II: Operation and Information Systems of Electrical Power Grids WiSe 6
Module: Electrical Power Systems III: Dynamics and Stability of Electrical Power Systems SuSe 6
Module: Electrical Engineering II: Alternating Current Networks and Basic Devices SuSe 6
Module: Electrical Engineering Project Laboratory SuSe 6
Module: Process Measurement Engineering SuSe 4
Module: Smart Grid Technologies WiSe, SuSe 6

Course: Seminar on Electromagnetic Compatibility and Electrical Power Systems

Further Information

WiSe, SuSe 2

SuSe: Summer Semester
WiSe: Winter Semester