Detailseite
Person
Sophie Quinton, Ph.D.
Adresse
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
-
Als Kooperationspartnerin
-
abgeschlossene Projekte
-
Formale Methoden für Contracting (Forschungsgruppen) -
RT-proofs: Formale Beweise für Echtzeitsysteme (Sachbeihilfen)
-
-
abgeschlossene Projekte
