Project Details
Person
Professor Dr. Johannes Kinder
Address
Ludwig-Maximilians-Universität München (LMU)
Institut für Informatik
Lehrstuhl für Programmiersprachen und Künstliche Intelligenz (PLAI)
Oettingenstraße 67
80538 München
ORCID-ID 0000-0002-8594-7839
-
As Participating Researcher
-
Current projects
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)
-
-
Current projects
