202324453J : OLAS Fondements opérationnels, logiques et algébriques des systèmes logiciels
- Unité de recherche
Responsables
1 responsable ne souhaite pas publier ses coordonnées.
Adresse : 06902 Sophia Antipolis
Site : https://www.inria.fr/fr/olas
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: Davide.Sangiorgi@inria.fr
Année de création : 2023
Année de fermeture : 2027
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2023
|
INRIA
-
Institut national de la recherche en informatique et automatique
(UPR )
(établissement tutelle à partir de 2023) |
Etablissement référent |