L'Agence nationale de la recherche Des projets pour la science

Translate this page in english

Effectuer une recherche dans les résumés des projets financés :

 

DS0706 Sciences et technologies pour la confiance et la sécurité numérique - 2015

ARRAND – Arithmétiques Randomisées

DataCert – Spécification intensive en Coq d'intégration de données orientée sécurité

Revenir à la page précédente