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
Orientador(a):
Oliveira, Marcel Vinicius Medeiros
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Tipo de documento:
Tese
Outro:
UFRN
E
Repositório Institucional da UFRN
Instituição de defesa:
Universidade Federal do Rio Grande do Norte (UFRN)
Idioma:
Português
Mostrar filtros (7)
Orientador(a):
Oliveira, Marcel Vinicius Medeiros
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Tipo de documento:
Tese
Outro:
UFRN
E
Repositório Institucional da UFRN
Instituição de defesa:
Universidade Federal do Rio Grande do Norte (UFRN)
Idioma:
Português
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
Exportar
Exportar RIS
Exportar CSV
1
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
Por
Barrocas, Samuel Lincoln Magalhães
Publicado em 2018
Acessar documento
Tese
2
Local livelock analysis of component-based models
Por
Conserva Filho, Madiel de Souza
Publicado em 2016
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Norte (UFRN)
Bases coletadas
Repositório Institucional da UFRN
2
Programa de Pós-Graduação
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
2
Autor
Barrocas, Samuel Lincoln Magalhães
1
Conserva Filho, Madiel de Souza
1
Orientador(a)
Oliveira, Marcel Vinicius Medeiros
Tipo de documento
Tese
Tipo de acesso
openAccess
2
Idioma
Português
Assunto
Métodos formais
2
Análise local
1
Ausência de livelock
1
Circus
1
Desenvolvimento baseado em componentes
1
Síntese de código
1
Mais ...
Testes de Software
1
Verificação de código
1
Ver todos ...
menos ...
Área do conhecimento CNPq
SISTEMAS DE COMPUTACAO
Ano da publicação
De:
Até:
Carregando...