Les dépôts de projets se font directement sur le site de l'ANR à l'adresse suivante :
Appel à projets générique Edition 2016: http://www.agence-nationale-recherche.fr/AAPG2016


Merci de prendre connaissance du schéma général d'application de l'accord FRAE/ANR dans le dispositif d'appel à projets générique de l'ANR 2016

LES EXPERTS

Les Experts scientifiques et industriels sont des personnes « extérieures » à la Fondation.

EN SAVOIR +

Liste des projets

Liste des projets du thème Méthodes de vérification des systèmes et logiciels

  • ALPROSE - Architecture et Langage pour la PROgrammation et la vérification de Systèmes perceptifs Embarqués - (Appel N° 6)
  • ASCERT - Analyses Statiques CERTifiées - (Appel N° 6)
  • CAVALE - Combinaison d'Analyses pour la VAlidation des Logiciels Embarqués - (Appel N° 6)
  • QUARTEFT - Qualifiable Real TimE Fiacre Transformations - (Appel N° 6)
  • SARDANES - Sémantique, Analyse et tRansformation Des Applications Numériques Embarquées Synchrones - (Appel N° 6)

Fondation de Recherche pour l'Aéronautique et l'Espace
F.R.A.E. - 10 Avenue Edouard Belin - 31400 Toulouse
Tél. : 05 62 88 69 92 - Mail : contact@fnrae.org