Diagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOS

Publication

dc.contributor.author	Figueira, Paulo da Silva
dc.date.accessioned	2011-04-28T10:04:08Z
dc.date.available	2011-04-28T10:04:08Z
dc.date.issued	2007
dc.description.sponsorship	Orientador: Paulo Nazareno Maia Sampaio	por
dc.identifier.uri	http://hdl.handle.net/10400.13/138
dc.language.iso	por	por
dc.peerreviewed	yes	por
dc.publisher	Universidade da Madeira	por
dc.subject	Consistência temporal	por
dc.subject	RT-LOTOS	por
dc.subject	Grafo mínimo de alcançabilidade	por
dc.subject	Especificação e verificação formal	por
dc.subject	Multimédia	por
dc.subject	Documentos multimédia interactivos	por
dc.subject	Sincronização temporal	por
dc.subject	Autómato temporal	por
dc.subject	Verificação da consistência temporal de DMI	por
dc.subject	Sincronização	por
dc.subject	.	por
dc.subject	Centro de Ciências Exatas e da Engenharia	por
dc.title	Diagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOS	por
dc.type	master thesis
dspace.entity.type	Publication
rcaap.rights	openAccess	por
rcaap.type	masterThesis	por

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1