Projectos de I&D
Consulta de projectos homologados
Concurso de Projectos de Investigação Científica e Desenvolvimento Tecnológico em todos os Domínios Científicos - 2010
Qais: Análise quantititativa de sistemas reactivos: fundamentos e algoritmos
PTDC/EIA-CCO/122240/2010
- Área Científica Principal
- Engenharia Informática - Ciências da Computação
- Palavras Chave
- análise quantitativa
- métodos coalgébricos
- métricas
- Análise QoS
- Financiamento
- € 105 384,00
-
Projecto cofinanciado pelo
Instituição do projecto não encontradas