CAFÉIN public website

CAFEIN project is funded by ANR INS 2012 with support from Aerospace Valley and System@tic competitivity clusters.

It is related to the US NSF project CrAVES - Credible Autocoding and Verification of Embedded Software.

Accueil du site > News > 27-28 mai 2014 : Réunion plénière à Banyuls-sur-Mer

27-28 mai 2014 : Réunion plénière à Banyuls-sur-Mer

mardi 29 avril 2014

La prochaine réunion plénière du projet est prévue les 27 et 28 mai 2014 à l’Observatoire Océanographique de Banyuls-sur-Mer.

SPIP | squelette | | Plan du site | Suivre la vie du site RSS 2.0