202424472A : DEVINE Vérification efficace pour des systèmes distribués fiables
- Unité de recherche
Responsables
1 responsable ne souhaite pas publier ses coordonnées.
Adresse : 35042 Rennes
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 à :
Contact: nathalie.bertrand@inria.fr
Année de création : 2024
Année de fermeture : 2027
Site ESR :
Aucun
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
|
INRIA
-
Institut national de la recherche en informatique et automatique
SIRET: 18008904700013 (UPR ) (établissement tutelle à partir de 2024) |
Etablissement référent |
|
RENNES
-
Université de Rennes (EPE)
SIRET: 13003051300019 (établissement participant à partir de 2024) |
|
|
CNRS
-
Centre national de la recherche scientifique
SIRET: 18008901303720 (établissement participant à partir de 2024) |
-
Libellé(s) de structure
- 21/12/2023 : DEVINE