Current Research Training Groups
Last modified: January 13, 2021
Research Training Groups
- Current Research Training Groups
- Project details GRK 2428
CONVEY - Continuous Verification of CYber-Physical Systems
General Information
| City: | München |
| Funded: | since 2019 |
Spokesperson
Professor Dr. Helmut Seidl
Technische Universität München
Lehrstuhl Informatik II: Sprachen, und
Beschreibungsstrukturen in der Informatik
Boltzmannstraße 3
85748 Garching
(For more information on the project, please contact the project’s coordinator(s).)
Applicant Institution
Technische Universität München (TUM)
Arcisstraße 21
80333 München
Co-Applicant Institution
Ludwig-Maximilians-Universität München
Geschwister-Scholl-Platz 1
80539 München
DFG Contact
Dr.
Jürgen Breitkopf
(procedural matters)
Dr.
Valentina Damerow
(scientific matters)