Este site foi descontinuado em 20/12/2022. Visite o novo site em www.fct.pt.

Skip nav

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