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

Outros Autores: “...http://lattes.cnpq.br/4511445991061477...”

Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation