Detailseite
Person
Professor Dr. Christoph Weidenbach
Adresse
Max-Planck-Institut für Informatik
Campus Geb. E 1.4
66123 Saarbrücken
-
Als Teilprojektleiter
-
laufende Projekte
-
Beschreibungslogische Erklärungen (Transregios)
-
-
abgeschlossene Projekte
-
Constraint-basierte Verfikation hybrider Systeme (Transregios)
-
Dynamische Kommunikationssysteme (Transregios)
-
Logik-basierte, verständliche Supervision zur Laufzeit (Transregios)
-
-
laufende Projekte
