1
Outros Autores:
“...http://lattes.cnpq.br/4511445991061477...”
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Dissertação
2
Outros Autores:
“...http://lattes.cnpq.br/4511445991061477...”
Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
Tese