Navegando por Assunto Métodos Formais
Mostrando resultados 1 a 2 de 2
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
31-jul-2013 | Verificação Formal de Programas C++ que Usam o Framework Multi-Plataforma QT | Felipe Rodrigues Monteiro Sousa | Relatório de Pesquisa |
31-jul-2013 | Verificação de Modelos de Hardware que Usam a Biblioteca do SystemC | Luciano Nunes Sobral | Relatório de Pesquisa |