Title of article
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems
Author/Authors
J. -P. Courtiat، نويسنده , , M. Diaz، نويسنده , , R. C. De Oliveira، نويسنده , , P. Sénac and C. Lohr ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
17
From page
1134
To page
1150
Keywords
Synchronization , Distributed multimedia and hypermedia systems , Time requirements , RT-LOTOS , Specification , Timed Petri nets , LOTOS , validation , modeling
Journal title
Computer Communications
Serial Year
1996
Journal title
Computer Communications
Record number
308642
Link To Document