1 Treffer mit Thema „Sicherheitskritische Systeme“ · Themen-Filter entfernen
PD Dr. Popova-Zeugmann forscht an formalen Methoden zur Modellierung und Verifikation zeitkritischer, verteilter Systeme, insbesondere unter Verwendung von Petri-Netzen.
