Forschung
Wir beschäftigen und mit der Modellierung und Analyse verteilter und paralleler Systeme. Dabei untersuchen wir auch gezielt die für diese Zwecke eingesetzten Modellierungssprachen. Mehr Informationen finden sie auf der Seite Forschung .
Lehre
Informationen zu den von uns angebotenen Lehrveranstaltungen sowie Hinweise für mögliche Abschlussarbeiten finden sie auf unseren Seiten zur Lehre .