Grupo de
Engenharia
da Computação

Linhas de Pesquisa

Arquitetura de Computadores
Hardware/Software Co-Design
Projeto e Layout de Circuitos Integrados
Prototipação Rápida de Sistemas Dedicados
Sistemas de Tempo Real
Verificação Formal de Hardware

[Última alteração em 11.set.98]