Showing 1 - 2 results of 2 for search 'Alair Dias Junior', query time: 0.11s Refine Results
  1. 1
    Análise de cobertura e geração de vetores de teste para módulos descritos em Systemc
    by Alair Dias Junior
    Published 2008
    Get full text
    Others
  2. 2
    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 derivadas das propriedades do sistema
    by Alair Dias Junior
    Published 2012
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search