In diesem Forschungsseminar werden wir laufende Arbeiten auf dem Gebiet der Zuverlässigen Systeme diskutieren. Dies beinhaltet die Präsentation von laufenden Doktor-, Master- und Bachelorprojekten. Jede/r Interessierte ist herzlich willkommen. Wir nutzen die folgende Wiki-Seite für die Koordination:
Homepage