1
Assuntos:
“...Coprojeto hardware/software...”
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Dissertação