A carregar...
Publicação
Diagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOS
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 33.58 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
Descrição
Palavras-chave
Consistência temporal RT-LOTOS Grafo mínimo de alcançabilidade Especificação e verificação formal Multimédia Documentos multimédia interactivos Sincronização temporal Autómato temporal Verificação da consistência temporal de DMI Sincronização . Centro de Ciências Exatas e da Engenharia