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 :

 

INS Ingénierie Numérique et Sécurité - 2013

BIOFENCE – Amélioration, évaluation et certification de la résistance de systèmes biométriques face aux leurres

COGITO – Runtime Code Generation to Secure Devices

IMPEX – Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.

MALTHY – Méthodes ALgèbriques pour la vérification de modèles Temporisés et HYbrides

MetaLibm – Générateurs de code pour les fonctions mathématiques et les filtres

THE CASCADE – THEorie du Contrôle Appliquée à la Synchronisation des CommunicAtions DiscrEtes

TSUNAMY – Gestion logicielle et matérielle de la sécurité des données pour des plateformes manycore

Revenir à la page précédente