Highly Adaptable and Trustworthy Software using Formal Models

Projektinformationen

HATS

ID Finanzhilfevereinbarung: 231620

Projekt abgeschlossen

Startdatum 1 März 2009

Enddatum 28 Februar 2013

Finanziert unter

• Specific Programme "Cooperation": Information and communication technologies

Gesamtkosten € 7 301 979,00

EU-Beitrag € 5 636 280,00

Koordiniert durch

CHALMERS TEKNISKA HOGSKOLA AB
Sweden