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

Figueira, Paulo da Silva2011-04-282011-04-282007http://hdl.handle.net/10400.13/138porConsistência temporalRT-LOTOSGrafo mínimo de alcançabilidadeEspecificação e verificação formalMultimédiaDocumentos multimédia interactivosSincronização temporalAutómato temporalVerificação da consistência temporal de DMISincronização.Centro de Ciências Exatas e da EngenhariaDiagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOSmaster thesis