Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung