Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Courtiat, J.-P., Oliveira, R.C.: Proving temporal consistency in a new multimedia synchronization model. In: Proc of ACM Multimedia 1996, Boston, USA, pp. 141–152 (November 1996)
2. Santos, C.A.S., Soares, L.F.G., Souza, G.L., Courtiat, J.-P.: Design methodology and formal validation of hypermedia documents. In: Proc. of ACM Multimedia 1998, Bristol, UK, pp. 39–48 (September 1998)
3. Santos, C.A.S., Courtiat, J.-P., Saqui-Sannes, P.: A design methodology for the formal specification and verification of hypermedia documents. In: Proc. of FORTE/PSTV 1998, Paris, France. Chapman & Hall, Boca Raton (1998)
4. http://www.w3.org/AudioVideo/
5. Courtiat, J.P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications (2000), http://www.laas.fr/RT-LOTOS
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献