Lehrveranstaltungen

Lehrveranstaltungen

Wintersemester/Winterterm 2019/2020
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Seminar: Actor-based Languages (TUCaN)
Sommersemester/Summerterm 2019
Formal Specification and Verification of Software (engl.) Kurswebseite
Seminar: Symbolic Execution (dt./engl.) 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
Seminar: Modeling and Analysis of actor-based Software Systems (engl.) Seminar Website
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende