Computação Teórica Aplicada em Hardware e Software
Grupo de Pesquisa
-
- Visão geral
-
- Pesquisas
-
- Ligações
-
- Identidade
-
- Ver todos
-
Visão geral
has leader
has partner
tem membro
Data arquivamento
Pesquisas
research lines
áreas de investigação
palavras-chave
-
HARDWARE
-
LÓGICA
-
MÉTODOS FORMAIS
-
SISTEMAS EMBARCADOS
Ligações
Identidade
DGP identifier
identificador BrCris
-
da32f3ee38c0b42dcd04c9f3bacd51b0