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]