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ções | PPGSC - Doutorado em Sistemas e Computação |
---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- MadielDeSouzaConservaFilho_TESE.pdf
- Tamanho:
- 1.25 MB
- Formato:
- Adobe Portable Document Format
Carregando...