Edukad projektid

Leidsin 1 projekti. programm [ FP7 ] alaprogramm [ ICT ] instrument [ CP-IP ] koordinaator-riik [ SE ]

Programmid

Koordinaator-riigid

Alaprogrammid

Instrumendid

Partner-riigid (projektides osaluse arv)

projekti nr	akronüüm ja pealkiri	kestus
FP7 - 231620	HATS - Highly Adaptable and Trustworthy Software using Formal Models	2009-2013