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.

This website presents current CAFEIN progress and results.

Vous inscrire sur ce site

Vous avez demandé à intervenir sur un forum réservé aux visiteurs enregistrés.

Identifiants personnels

Indiquez ici votre nom et votre adresse email. Votre identifiant personnel vous parviendra rapidement, par courrier électronique.

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