Author(s): Figueira, Paulo da Silva
Date: 2007
Persistent ID: http://hdl.handle.net/10400.13/138
Origin: DigitUMa - Repositório da Universidade da Madeira
Subject(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