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

Detailseite

Institution

Druckansicht

Institut National de Recherche en Informatique et en Automatique (INRIA)
Centre de recherche Grenoble - Rhône-Alpes

Adresse Inovallée - 655 avenue de l Europe
38330 Montbonnot-Saint-Martin
Frankreich

38330 Montbonnot-Saint-Martin

Projekte

Forschungsgruppen
- abgeschlossene Projekte
  - Formale Methoden für Contracting
    (Antragstellerin Schaefer, Ina )
Sachbeihilfen
- abgeschlossene Projekte
  - RT-proofs: Formale Beweise für Echtzeitsysteme
    (Antragsteller Brandenburg, Ph.D., Björn ; Ernst, Rolf )
  - TypicalCPA - Typical Worst Case Compositional Performance Analysis
    (Antragsteller Ernst, Rolf )

© 2026 DFG Kontakt / Impressum / Datenschutz