Project Details
Person
Professor Dr. Jasmin Christian Blanchette
Address
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstraße 67
80538 München
-
As Participating Researcher
-
Current projects
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)
-
-
Current projects
