Ludwig-Maximilians-Universität München (LMU)
Institut für Informatik
Lehrstuhl für Programmiersprachen und Künstliche Intelligenz (PLAI)
Address
Oettingenstraße 67
80538 München
Deutschland
GERiT
This institution in GERiT
80538 München
Projects
Research Training Groups
Current projects
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
(Spokesperson
Beyer, Dirk
)