Trindade, A. B., & http://lattes.cnpq.br/4511445991061477. (2015). Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. Universidade Federal do Amazonas.
Citação Padrão ChicagoTrindade, Alessandro Bezerra, and 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. Universidade Federal do Amazonas, 2015.
Citação MLATrindade, Alessandro Bezerra, and 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. Universidade Federal do Amazonas, 2015.