Forschende

1 Treffer mit Thema „Runtime Verification" in Mathematisch-Naturwissenschaftliche Fakultät, Wirtschaftswissenschaftliche Fakultät · Themen-Filter entfernen

Relevanz Name

Lieber eine ganze Idee in Sätzen beschreiben? Zur Ideen-Suche →

Mathematisch-Naturwissenschaftliche Fakultät Wirtschaftswissenschaftliche Fakultät alle entfernen

Prof. Dr. Holger Schlingloff

Institut für Informatik · Mathematisch-Naturwissenschaftliche Fakultät

Prof. Schlingloff erforscht die systematische Entwicklung und Qualitätssicherung komplexer Softwaresysteme, insbesondere im Kontext von Digital Twins, automatisierten Bahnsystemen und inkrementeller Softwareentwicklung.

8Projekte