SAFIR (SR0287UR)

Systèmes algébriques formels pourl'industrie et la recherche

SAFIR

Statut: Terminée

Responsable : Stephen Watt

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Algorithmique, calcul certifié et cryptographie

Période : 01/01/1986 -> 31/12/1998
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria d'Université Côte d'Azur
Localisation : Centre Inria d'Université Côte d'Azur
Code structure Inria :

Numéro RNSR : 198622096H
N° de structure Inria: SR0287UR

Présentation

Axes de recherche

Relations industrielles et internationales