Lehrveranstaltungen

Lehrveranstaltungen

Sommersemester/Summerterm 2019
Formal Specification and Verification of Software (engl.) Kurswebseite
Seminar: Symbolic Execution (german/english) Seminar Webseite
Bachelorpraktikum für PsychIt Kurswebseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Wintersemester/Winterterm 2018/2019
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Seminar: Symbolic Execution Seminar Webseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Sommersemester/Summerterm 2018
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Modeling and Analysis of actor-based Software Systems (engl.) Seminar Website
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende