Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

202424472A : DEVINE Vérification efficace pour des systèmes distribués fiables 
niveau non renseigné.   (situation 2025) 

Responsable(s)

- Le responsable ne souhaite pas publier ses coordonnées.

Etablissements.
INRIA INRIA - Institut national de la recherche en informatique et automatique (UPR )
(établissement tutelle à partir de 2024)
Etablissement référent
CNRS CNRS - Centre national de la recherche scientifique ( )
(établissement participant à partir de 2024)
RENNES RENNES - Université de Rennes (EPE) ( )
(établissement participant à partir de 2024)
Adresse

35042 Rennes
   Contact
  courriel : nathalie.bertrand@inria.fr
Site web : https://www.inria.fr/fr/devine
Taille en ETP (sans compter les stagiaires): non renseignée.
Descriptif : Aucun.
Année de création : 2024
Mission de la structure : Non renseignée.
Mode de gestion de la structure : Non renseigné.
SIRET de la structure : Non renseigné.
Classement scientifique ERC
 - PE6 : Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems
Domaine scientifique
 - 9 : Sciences et technologies de l'information et de la communication 2024 0
Ecole(s) doctorale(s) de rattachement
Non renseigné
Rattachée au(x) programme(s) LOLF suivant(s):
Non renseigné
Rattachée au(x) thème(s) de recherche suivant(s):
Non renseigné
Liens avec d'autres structures :

Participe à :
 -  Unité mixte 200012163A - Institut de Recherche en Informatique et Systèmes Aléatoires   (lien non exclusif)
 -  Structures Fédératives de Recherche 198018249C - Centre Inria de l’Université de Rennes   (lien non exclusif)
Site ESR :
Aucun.

Fiche mise à jour par Tifenn Graffin le 21/02/2025 à 10:41