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

Informacje na temat projektu

COCONUT

Identyfikator umowy o grant: 217069

Projekt został zamknięty

Data rozpoczęcia 1 Stycznia 2008

Data zakończenia 30 Czerwca 2010

Finansowanie w ramach

• Specific Programme "Cooperation": Information and communication technologies

Koszt całkowity € 3 346 784,00

Wkład UE € 2 550 000,00

Koordynowany przez

UNIVERSITA DEGLI STUDI DI VERONA
Italy