201221053L : TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations
- Unité de recherche
Responsables
Claude MARCHE à partir du 01/07/2014
Adresse :
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 à :
- Structures Fédératives de Recherche 200818248E - Centre Inria de Saclay (lien non exclusif)
- Unité mixte 202123712M - Laboratoire Méthodes Formelles (lien non exclusif)
Contact:
Année de création : 2012
Année de fermeture : 2026
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2012
|
INRIA
-
Institut national de la recherche en informatique et automatique
SIRET: 18008904700013 (établissement tutelle à partir de 2012) |
Etablissement référent |
|
CNRS
-
Centre national de la recherche scientifique
SIRET: 18008901303720 (établissement tutelle à partir de 2014) |
|
|
U PARIS-SACLAY
-
Université Paris-Saclay
SIRET: 13002602400054 (établissement tutelle à partir de 2020) |
-
Libellé(s) de structure
- 05/01/2015 : TOCCATA
-
Responsable
- 01/07/2014 - 01/07/2014 : Claude MARCHÉ ()