Autor(es): Figueira, Paulo da Silva
Data: 2007
Identificador Persistente: http://hdl.handle.net/10400.13/138
Origem: DigitUMa - Repositório da Universidade da Madeira
Assunto(s): 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