Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

J. -P. Courtiat، نويسنده , , M. Diaz، نويسنده , , R. C. De Oliveira، نويسنده , , P. Sénac and C. Lohr ، نويسنده ,

روزنامه با شماره پیاپی سال 1996

17

1134

1150

Synchronization , Distributed multimedia and hypermedia systems , Time requirements , RT-LOTOS , Specification , Timed Petri nets , LOTOS , validation , modeling

Computer Communications

1996

Computer Communications

308642