Portal do Governo Brasileiro
s
Mostrando
1 - 2
resultados de
2
para a busca '
Software
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Autor:
Adenilso da Silva Simão
Mostrar filtros (1)
Autor:
Adenilso da Silva Simão
Resultados da busca: Software
Mostrando
1 - 2
resultados de
2
para a busca '
Software
'
, tempo de busca: 0,04s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
Por
Adenilso da Silva Simão
Publicado em 2004
Acessar documento
Tese
2
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
Por
Adenilso da Silva Simão
Publicado em 2000
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
USP
2
Bases coletadas
Biblioteca Digital de Teses e Dissertações da USP
2
Programa de Pós-Graduação
Ciências da Computação e Matemática Computacional
2
Autor
Adenilso da Silva Simão
Orientador(a)
Jose Carlos Maldonado
1
José Carlos Maldonado
1
Tipo de documento
Tese
1
Dissertação
1
Tipo de acesso
openAccess
2
Idioma
Português
2
Ano da publicação
De:
Até:
Carregando...