Detailseite
Person
Professor Dr. Dirk Beyer
Adresse
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstraße 67
80538 München
ORCID-ID 0000-0003-4832-7662
-
Als Antragsteller
-
laufende Projekte
-
Kooperative Softwareverifikation 2 (Sachbeihilfen)
-
Brückenbildung zwischen Hardware- und Software-Analyse (Sachbeihilfen)
-
laufende Projekte
-
Als Sprecher
-
laufende Projekte
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)
-
-
laufende Projekte
