|
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
|
