Mostrando 1 - 2 resultados de 2 para a busca 'Castro Marquez, Carlos Ivan', tempo de busca: 0,01s

1

Análise da influência do uso de domínios de parâmetros sobre a eficiência da verificação funcional baseada em estimulação aleatória.

Publicado em 2009
Acessar documento
Dissertação

2

Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação.

Publicado em 2014
Acessar documento
Tese