Project Info

Project number:

PTDC/EEA-ELC/122756/2010

Project title (in portuguese):

CerVANTES: Ferramenta de Co-Validação para Sistemas Embebidos

Project title (in english):

CerVANTES: Co-VAlidatioN Tool for Embedded Systems

Primary Investigator:

José Carlos Campos Costa

Duration:

From 01-Mar-2012 to 28-Feb-2015

Prime Contractor:

INESC-ID / ALGOS group

Financed by:

FCT