Portal do Governo Brasileiro
s
Mostrando
1 - 2
resultados de
2
para a busca '
'
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:
RODRIGUES, Cássio Leonardo
Área do conhecimento CNPq:
Ciência da Computação
Outro:
UFCG
Mostrar filtros (3)
Autor:
RODRIGUES, Cássio Leonardo
Área do conhecimento CNPq:
Ciência da Computação
Outro:
UFCG
Resultados da busca
Mostrando
1 - 2
resultados de
2
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportação
Exportar CSV
Export RIS
1
Verificação de modelos em redes de petri orientadas a objetos.
Por
RODRIGUES, Cássio Leonardo.
Publicado em 2004
Acessar documento
Dissertação
2
Análise de cobertura funcional na fase de integração de blocos de circuitos digitais.
Por
RODRIGUES, Cássio Leonardo.
Publicado em 2010
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal de Campina Grande (UFCG)
2
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFCG
2
Programa de Pós-Graduação
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
2
Autor
RODRIGUES, Cássio Leonardo
Orientador(a)
FIGUEIREDO, Jorge César Abrantes de.
2
Tipo de documento
Tese
1
Dissertação
1
Tipo de acesso
openAccess
2
Idioma
Português
2
Assunto
CTL Time Logic
1
Data Verification and Validation
1
Lógica Temporal CTL
1
Model Verification
1
Object Orientation
1
Orientação a Objetos
1
Mais ...
Petri Nets
1
Rede de Petri
1
Validation and Functional Coverage Analysis
1
Validação e Análise de Cobertura Funcional
1
Verification
1
Verificação
1
Verificação de Modelos
1
Verificação e Validação de Dados
1
Ver todos ...
menos ...
Área do conhecimento CNPq
Ciência da Computação
Ano da publicação
De:
Até:
Carregando...