Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation
201221053L : TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations
Unité de recherche
(situation 2024)
Responsable(s)
- Claude MARCHE à partir du 01/07/2014
|
|
Etablissements. |
|
INRIA - Institut national de la recherche en informatique et automatique ( )
(établissement tutelle à
partir de 2012)
Etablissement référent
|
|
CNRS - Centre national de la recherche scientifique ( )
(établissement tutelle à
partir de 2014)
|
|
U PARIS-SACLAY - Université Paris-Saclay ( )
(établissement tutelle à
partir de 2020)
|
Adresse
|
Contact
courriel :
|
| Site web :
Non renseigné.
|
| Taille en ETP (sans compter les stagiaires):
non renseignée.
|
| Descriptif :
Aucun.
|
| Année de création :
2012
|
| Mission de la structure :
Non renseignée.
|
| Mode de gestion de la structure :
Non renseigné.
|
| SIRET de la structure :
Non renseigné.
|
Classement scientifique ERC
Non renseigné
|
Domaine scientifique
- 9 : Sciences et technologies de l'information et de la communication 2012 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 à :
-
Structures Fédératives de Recherche 200818248E - Centre Inria de Saclay
(lien non exclusif)
-
Unité mixte 202123712M - Laboratoire Méthodes Formelles
(lien non exclusif)
|
Site ESR :
Aucun.
|
Fiche mise à jour par Tifenn Graffin le 18/12/2024 à 19:42
|
