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
Um Modelo Formal Para Verificação da Consistência de Documentos Hipermídia Ncm
Design Methodology And Formal Validation Of Hypermedia Documents
Celso Alberto Saibel Santos
Luiz Fernando Gomes Soares
J. P. COURTIAT
J. -. COURTIAT