O Tempo como Modelo: A Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos
Autores
|
3043 |
Wanberto Weber M. P. de Vasconcelos
|
1390,105
|
|
3044 |
1390,105
|
Informações:
Publicações do PESC
Título
O Tempo como Modelo: A Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos
Linha de pesquisa
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
20/9/1989
Resumo
Abstract
Arquivo