Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Université Grenoble Alpes (UGA)
Verimag Laboratory

Adresse 700 avenue Centrale
38401 Saint-Martin-d'Hères
Frankreich

38401 Saint-Martin-d'Hères

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
    (Antragsteller Lakhnech, Yassine )
Sachbeihilfen
- abgeschlossene Projekte
  - RT-proofs: Formale Beweise für Echtzeitsysteme
    (Antragsteller Brandenburg, Ph.D., Björn ; Ernst, Rolf )

© 2024 DFG Kontakt / Impressum / Datenschutz