A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

Informations projet

COCONUT

N° de convention de subvention: 217069

Projet clôturé

Date de début 1 Janvier 2008

Date de fin 30 Juin 2010

Financé au titre de

• Specific Programme "Cooperation": Information and communication technologies

Coût total € 3 346 784,00

Contribution de l’UE € 2 550 000,00

Coordonné par

UNIVERSITA DEGLI STUDI DI VERONA
Italy