Formal Specification And Validation Of Documents Based On Event-Driven Hypermedia Models
Usando Rt-Lotos Para Verificar A Consistência de Documentos Multimídia Em Plataformas Configuráveis
Usando Rt-Lotos Para Especificar Documentos Ncm
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents
Um Modelo Formal Para Verificação da Consistência de Documentos Hipermídia Ncm
Une Approche Formelle Pour La Conception de Documents Hypermedia Structures Et Repartis
Celso Alberto Saibel Santos
Luiz Fernando Gomes Soares
G. L. SOUZA
Paulo Nazareno Maia Sampaio
P. SAQUI-SANNES