Loading...
Publication
Diagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOS
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 33.58 MB | Adobe PDF |
Authors
Advisor(s)
Abstract(s)
Description
Keywords
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