Simão, Adenilso da Silva
Resultado: Exibindo 10 de 22 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
Aprimorando a inferência de modelos por meio da seleção de sequências de separação...
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...
Resultado: Exibindo 10 de 22 na pagina 1 de 3