Logo Institut für Elektrische Energietechnik
Institut für Elektrische Energietechnik
Logo Institut für Elektrische Energietechnik
Institut für Elektrische Energietechnik
DE
EN
Suche
DE
EN
Suche
IEET > Lehre > Lehrveranstaltungen

Lehrveranstaltungen in Stud.IP

aktuelles Semester
zur Veranstaltung in Stud.IP Studip_icon
Software Verification (VL)
Untertitel:
This course is part of the module: Software Verification
Semester:
WiSe 23/24
Veranstaltungstyp:
Vorlesung (Lehre)
Veranstaltungsnummer:
lv629_w23
DozentIn:
Prof. Dr. Sibylle Renate Schupp, Antje Rogalla
Beschreibung:

    • Model checking (bounded model checking, CTL, LTL)

    • Real-time model checking (TCTL, timed automata)
    • Deductive verification (Hoare logic)
    • Tool support
    • Recent developments of verification techniques and applications
Leistungsnachweis:
610 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li></ul><br>611 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li><li>811 - Software Verification - Exercises: Excercises</li></ul>
ECTS-Kreditpunkte:
3
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 76
Anzahl der Postings im Stud.IP-Forum: 23
Anzahl der Dokumente im Stud.IP-Downloadbereich: 6
voriges Semester
zur Veranstaltung in Stud.IP Studip_icon
Software Verification (VL)
Untertitel:
This course is part of the module: Software Verification
Semester:
WiSe 23/24
Veranstaltungstyp:
Vorlesung (Lehre)
Veranstaltungsnummer:
lv629_w23
DozentIn:
Prof. Dr. Sibylle Renate Schupp, Antje Rogalla
Beschreibung:

    • Model checking (bounded model checking, CTL, LTL)

    • Real-time model checking (TCTL, timed automata)
    • Deductive verification (Hoare logic)
    • Tool support
    • Recent developments of verification techniques and applications
Leistungsnachweis:
610 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li></ul><br>611 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li><li>811 - Software Verification - Exercises: Excercises</li></ul>
ECTS-Kreditpunkte:
3
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 76
Anzahl der Postings im Stud.IP-Forum: 23
Anzahl der Dokumente im Stud.IP-Downloadbereich: 6

Lehrveranstaltungen

Informationen zu den Lehrveranstaltungen und Modulen entnehmen Sie bitte dem aktuellen Vorlesungsverzeichnis und dem Modulhandbuch Ihres Studienganges.

Modul / Lehrveranstaltung Zeitraum ECTS Leistungspunkte
Modul: Elektrische Energiesysteme I: Einführung in elektrische Energiesysteme WiSe 6
Modul: Elektrische Energiesysteme II: Betrieb und Informationssysteme elektrischer Energienetze WiSe 6
Modul: Elektrische Energiesysteme III: Dynamik und Stabilität elektrischer Energiesysteme SoSe 6
Modul: Elektrotechnik II: Wechselstromnetzwerke und grundlegende Bauelemente SoSe 6
Modul: Elektrotechnisches Projektpraktikum SoSe 6
Modul: Prozessmesstechnik SoSe 4
Modul: Smart-Grid-Technologien WiSe, SoSe 6

Lehrveranstaltung: Seminar zu Elektromagnetischer Verträglichkeit und Elektrischer Energiesystemtechnik

weitere Information

 WiSe, SoSe 2

SoSe: Sommersemester
WiSe: Wintersemester

TU Hamburg
Institut für Elektrische Energietechnik (ieet) E-6
Prof. Dr.-Ing. Christian Becker
Harburger Schloßstraße 36
21079 Hamburg
E-Mail : ieet(at)tuhh.de
Tel : +49 40 42878 3213
Fax : +49 40 42878 2382
Weiterführende Links
Lageplan und Anfahrt
Datenschutz
Impressum