Diagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOS
| Data(s) |
28/04/2011
28/04/2011
2007
|
|---|---|
| Resumo |
Orientador: Paulo Nazareno Maia Sampaio |
| Identificador | |
| Idioma(s) |
por |
| Publicador |
Universidade da Madeira |
| Direitos |
openAccess |
| 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 |
| Tipo |
masterThesis |
