201722225N : KAIROS Logical Time for Formal Embedded System Design
- Unité de recherche
Responsables
Julien DEANTONI à partir du 01/05/2024
Adresse : 06902 Sophia Antipolis
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: Robert.De_Simone@inria.fr
Année de création : 2017
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 2017
|
INRIA
-
Institut national de la recherche en informatique et automatique
(E )
(établissement tutelle à partir de 2017) |
Etablissement référent |
|
CNRS
-
Centre national de la recherche scientifique
(établissement tutelle à partir de 2019) |
|
|
UniCA
-
Université Côte d'Azur
(établissement tutelle à partir de 2019) |
-
Libellé(s) de structure
- 21/12/2016 : KAIROS
-
Responsable
- 01/01/2017 - 30/04/2024 : Robert DE SIMONE ()