Project Details
Person
Professor Dr. Christoph Weidenbach
Address
Max-Planck-Institut für Informatik
Campus Geb. E 1.4
66123 Saarbrücken
-
As Project Head
-
Current projects
-
Description Logic Explications (CRC/Transregios)
-
-
Completed projects
-
Constaint-based Verification for Hybrid Systems (CRC/Transregios)
-
Dynamic Communication Systems (CRC/Transregios)
-
Logic-Based Perspicuous Run-Time Supervision (CRC/Transregios)
-
-
Current projects
