Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

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

38330 Montbonnot-Saint-Martin

Projects

Research Units
- Completed projects
  - Formal Methods for Contracting
    (Applicant Schaefer, Ina )
Research Grants
- Completed projects
  - RT-proofs: Formal proofs for real-time systems
    (Applicants Brandenburg, Ph.D., Björn ; Ernst, Rolf )
  - TypicalCPA - Typical Worst Case Compositional Performance Analysis
    (Applicant Ernst, Rolf )

© 2026 DFG Disclaimer / Copyright / Privacy Policy