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 :
non renseigné.
Domaine scientifique :
non renseigné.
|
INRIA
-
Institut national de la recherche en informatique et automatique
(UPR )
(établissement tutelle à partir de 2024) |
Etablissement référent |
|
CNRS
-
Centre national de la recherche scientifique
(établissement participant à partir de 2024) |
-
Libellé(s) de structure
- 21/12/2023 : DEVINE