Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2008
FAVAS: A FormAl Verification PlAtform for real-time Systems
PTDC/EIA-CCO/105034/2008
-
Área Científica Principal
-
Engenharia Informática - Ciências da Computação
-
Palavras Chave
-
Real-Time Systems
-
Software Verification
-
Formal Methods
-
Software Correctness
-
Financiamento
- €
100 000,00
Instituição do projecto não encontradas