Liste der laufenden Graduiertenkollegs
Stand: 13. Januar 2021
Graduiertenkollegs
- Liste der laufenden Graduiertenkollegs
- Detailsicht GRK 2428
CONVEY - Continuous Verification of CYber-Physical Systems
Allgemeine Informationen
Ort: | München |
Laufzeit: | seit 2019 |
Sprecher
Professor Dr. Helmut Seidl
Technische Universität München
Lehrstuhl Informatik II: Sprachen, und
Beschreibungsstrukturen in der Informatik
Boltzmannstraße 3
85748 Garching
(Bitte richten Sie inhaltliche Fragen direkt an den Sprecher / die Sprecherin des Programms)
Antragstellende Institution
Technische Universität München (TUM)
Arcisstraße 21
80333 München
Mitantragstellende Institution
Ludwig-Maximilians-Universität München
Geschwister-Scholl-Platz 1
80539 München
DFG-Betreuung
Dr.
Jürgen Breitkopf
(verfahrenstechnisch)
Dr.
Valentina Damerow
(fachlich)