Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Christoph Weidenbach

Adresse Max-Planck-Institut für Informatik
Campus Geb. E 1.4
66123 Saarbrücken

Projekte

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)

© 2025 DFG Kontakt / Impressum / Datenschutz