Simão, Adenilso da Silva
Resultado: Exibindo 10 de 21 na pagina 1 de 3
Nome
Título
Área
Documento
Unidade
Ano
Teste de mutação formal aplicado na álgebra de processos Circus
Uma estratégia para a minimização de máquinas de estados finitos parciais
Precificação de opções exóticas utilizando CUDA
Abordagens computacionais para a descoberta de genes significativos para o cânce...
Uma estratégia para redução de conjuntos de sequências de teste para máquinas de...
Aprendizado de modelos de máquinas de estados finitos de sistemas em evolução: Da...
Avaliação de métodos de teste baseado em máquinas de estados finitos em sistemas...
Teste baseado em modelo de aplicações orientadas a serviço
Teste de composição de web services: uma estratégia baseada em um modelo de teste...
Geração automática de conjuntos de teste configuráveis para linhas de produto de...
Resultado: Exibindo 10 de 21 na pagina 1 de 3