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 > Personal > Wissenschaftliche Mitarbeitende > Florian Strobel, M.Sc.

Florian Strobel

M.Sc.
Wissenschaftlicher Mitarbeiter

Kontakt

Florian Thorsten Lutz Strobel
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Harburger Schloßstraße 22a,
21079 Hamburg
Gebäude HS22a, Raum 2.014
Tel: +49 40 42878 2750
Logo

Forschungsprojekt

DISEGO
Kritische Komponenten für den verteilten und sicheren Netzbetrieb

DISEGO

Kritische Komponenten für den verteilten und sicheren Netzbetrieb

Bundesministerium für Wirtschaft und Klimaschutz (BMWK); Laufzeit: 2022 bis 2025

zur Projektseite

Publikationen

TUHH Open Research (TORE)

2023

Lehrveranstaltungen

Stud.IP
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

Betreute Abschlussarbeiten

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