Projectos de I&D
Consulta de projectos homologados
Concurso de Projectos de Investigação e Desenvolvimento, no Âmbito do Programa Carnegie Mellon University - Portugal - 2009
ATTEST: Algoritmos e Ferramentas para Análise de Sistemas Robustos
CMU-PT/ELE/0009/2009
-
Área Científica Principal
-
Engenharia de Software para Sistemas Robustos de Larga Escala
-
Área Científica Secundária
-
Sistemas Ciber-físicos para Inteligência Ambiente
-
Palavras Chave
-
Verificação de Software
-
Verificação de Modelos
-
Algoritmos de Decisão
-
Certificados de Prova
-
Financiamento
- €
167 889,00
Instituição do projecto não encontradas