VERBATIM
contrat RNRT, jan. 2003 - déc. 2006
VERication Biformelle et Automatisation du Test d'Interfaces Multimodales.
Contact
Partenaires
CLEARSY,
FT R&D,
LSR - Grenoble,
ONERA-CERT - Toulouse,
Partenaires industriels : AQL,
Partenaires universitaires : LISI - Poitiers