Highly Adaptable and Trustworthy Software using Formal Models

Informations projet

HATS

N° de convention de subvention: 231620

Projet clôturé

Date de début 1 Mars 2009

Date de fin 28 Février 2013

Financé au titre de

• Specific Programme "Cooperation": Information and communication technologies

Coût total € 7 301 979,00

Contribution de l’UE € 5 636 280,00

Coordonné par

CHALMERS TEKNISKA HOGSKOLA AB
Sweden