Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Université Grenoble Alpes (UGA)
Verimag Laboratory

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

38401 Saint-Martin-d'Hères

Projects

Priority Programmes
- Completed projects
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
    (Applicant Lakhnech, Yassine )
Research Grants
- Completed projects
  - RT-proofs: Formal proofs for real-time systems
    (Applicants Brandenburg, Ph.D., Björn ; Ernst, Rolf )

© 2024 DFG Disclaimer / Copyright / Privacy Policy