Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.13/138
Título: Diagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOS
Autor: Figueira, Paulo da Silva
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
Data de Defesa: 2007
Editora: Universidade da Madeira
Peer review: yes
URI: http://hdl.handle.net/10400.13/138
Aparece nas colecções:Dissertações de Mestrado

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
MestradoPauloFigueira.pdf34,39 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.