Edukad projektid

Leidsin 3 projekti. koordinaator-riik [ SE ] otsingusõna [ Tallinna Tehnikaülikooli Küberneetika Instituut ]

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
FP6 - 019374	SEAMOCS - Applied stochastic models for ocean engineering, climate and safe transportation	2005-2009
FP6 - 510996	TYPES - Types for Proofs and Programs	2004-2008