Title |
Reference |
Short name |
Effective start date |
Status |
---|---|---|---|---|
Financiamento Plurianual 2020-2023 de Unidade I&D LIACC - Laboratório de Inteligência Artificial e Ciência de Computadores | UIDB/00027/2020_UIDP/00027/2020 | LIACC | ||
Elven - Expressive Logics for VErifying the Net | POCI-01-0145-FEDER-016844 | Elven | ||
RESCUE, Reliable and safe code execution for embedded systems | PTDC/EIA/65862/2006 | PTDC/EIA/65862/2006 | ||
JEDI - Um Ambiente Híbrido para Dedução e Indução - e a sua Aplicação sobre Dados Espaciais | PTDC/EIA/66924/2006 | JEDI |
Records 1 to 4 from 4