Mostrando 1 - 2 resultados de 2 para a busca 'Alair Dias Junior', tempo de busca: 0,01s

1

Aumentando a eficiência da verificação dinâmica de propriedades em sistemas descritos em alto nível de abstração por meio da utilização de funções de classificação heurística deriv...

Publicado em 2012
Acessar documento
Tese

2

Análise de cobertura e geração de vetores de teste para módulos descritos em Systemc

Publicado em 2008
Acessar documento
Dissertação