Highly Adaptable and Trustworthy Software using Formal Models

Información del proyecto

HATS

Identificador del acuerdo de subvención: 231620

Proyecto cerrado

Fecha de inicio 1 Marzo 2009

Fecha de finalización 28 Febrero 2013

Financiado con arreglo a

• Specific Programme "Cooperation": Information and communication technologies

Coste total € 7 301 979,00

Aportación de la UE € 5 636 280,00

Coordinado por

CHALMERS TEKNISKA HOGSKOLA AB
Sweden