Project Details
Person
Sophie Quinton, Ph.D.
Address
Institut National de Recherche en Informatique et en Automatique (INRIA)
Centre de recherche Grenoble - Rhône-Alpes
Inovallée - 655 avenue de l Europe
38330 Montbonnot-Saint-Martin
Frankreich
-
As Cooperation Partner
-
Completed projects
-
Formal Methods for Contracting (Research Units) -
RT-proofs: Formal proofs for real-time systems (Research Grants)
-
TypicalCPA - Typical Worst Case Compositional Performance Analysis (Research Grants)
-
-
Completed projects
