Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2009
ComFormCrypt - Semântica Computacional de Métodos Formais em Segurança
PTDC/EIA-CCO/113033/2009
-
Área Científica Principal
-
Engenharia Informática - Ciências da Computação
-
Palavras Chave
-
Criptografia
-
Verificação Formal
-
Complexidade Computacional
-
Segurança de Computadores
-
Financiamento
- €
118 000,00
Instituição do projecto não encontradas