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
