Forschende
2 Treffer mit Thema „Formale Verifikation“ · Themen-Filter entfernen
HS
Prof. Dr. Holger Schlingloff forscht am Institut für Informatik der Humboldt-Universität mit dem Schwerpunkt Softwaretechnik.
8Projekte
PP
PD Dr. Popova-Zeugmann forscht an formalen Methoden zur Modellierung und Verifikation zeitkritischer, verteilter Systeme, insbesondere unter Verwendung von Petri-Netzen.
1Projekte