Portal do Governo Brasileiro
s
Mostrando
1 - 3
resultados de
3
para a busca '
"NuSMV"
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: "NuSMV"
Mostrando
1 - 3
resultados de
3
para a busca '
"NuSMV"
'
, tempo de busca: 0,05s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Revisão de modelos formais de sistemas de estados finitos
Por
Sousa, Thiago Carvalho de
Publicado em 2007
Acessar documento
Dissertação
2
Model checking requirements written in a controlled natural language
Por
BARZA, Sérgio
Publicado em 2016
Acessar documento
Dissertação
3
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução.
Por
MOREIRA, Anne Lorayne Gerônimo Silva Augusto.
Publicado em 2016
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal de Campina Grande (UFCG)
1
Universidade Federal de Pernambuco (UFPE)
1
Universidade de São Paulo (USP)
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFCG
1
Biblioteca Digital de Teses e Dissertações da USP
1
Repositório Institucional da UFPE
1
Autor
BARZA, Sérgio
1
MOREIRA, Anne Lorayne Gerônimo Silva Augusto
1
Sousa, Thiago Carvalho de
1
Tipo de documento
Dissertação
3
Tipo de acesso
openAccess
3
Idioma
Português
2
Inglês
1
Assunto
NuSMV
3
CTL
2
Automatic Verification
1
Belief Revision
1
Case Frames
1
Ciência da Computação
1
Mais ...
Ciências
1
Embedded Systems
1
Formal Models
1
Formal Verification
1
Linguagem Natural Controlada
1
Lógica Temporal
1
Model Checker
1
Model Checking
1
Modelos Formais
1
Revisão de Crenças. Verificação de Modelos
1
Sistemas Embarcados
1
Verificação Automática
1
Verificação Formal
1
Verificação de Modelos
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...
