Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2006
RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
- Área Científica Principal
- Engenharia Informática
- Palavras Chave
- Sistema Embebidos
- Verificação Formal e Proof Carrying Code
- Sistema de Tipos e Analise Estáticas de Programas
- Desenho de Linguagens e Compilação
- Financiamento
- € 161 000,00
-
Projecto cofinanciado pelo
Instituição do projecto não encontradas