201221019Z : CONVECS Construction de systèmes concurrents vérifiés
- Unité de recherche
Responsables
Radu Mateescu à partir du 01/01/2012
Adresse : 38334 Montbonnot St Martin
Descriptif :
Aucun
Ecole(s) doctorale(s) de rattachement :
non renseignée
Rattachée au(x) thème(s) de recherche suivant(s):
non renseigné
Liens avec d'autres structures :
Participe à :
Participe à :
- Structures Fédératives de Recherche 199218244V - Centre Inria de l’Université Grenoble Alpes (lien non exclusif)
- Unité mixte 200711886U - Laboratoire d'Informatique de Grenoble (lien non exclusif)
Contact: radu.mateescu@inria.fr
Année de création : 2012
Année de fermeture : 2025
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2014
|
INRIA
-
Institut national de la recherche en informatique et automatique
SIRET: 18008904700013 (E ) (établissement tutelle à partir de 2012) |
Etablissement référent |
|
GRENOBLE ALPES
-
Université Grenoble Alpes
SIRET: 13002608100013 (établissement tutelle à partir de 2016) |
-
Libellé(s) de structure
- 03/06/2015 : CONVECS