Local livelock analysis of component-based models

Autores Conserva Filho, Madiel de Souza
Orientador

Oliveira, Marcel Vinicius Medeiros

Data

2016-08-12

Palavras-chave

Desenvolvimento baseado em componentes

Métodos formais

Ausência de livelock

Análise local

Citação
Resumo

Abstract

URI https://repositorio.ufrn.br/jspui/handle/123456789/22209
ColeçõesPPGSC - Doutorado em Sistemas e Computação

Arquivos

Pacote Original

Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
MadielDeSouzaConservaFilho_TESE.pdf
Tamanho:
1.25 MB
Formato:
Adobe Portable Document Format
Carregando...
Imagem de Miniatura
Baixar