Specification and Validation of Multimedia Protocols using RT-LOTOS.
Jean-Pierre CourtiatRoberto C. de OliveiraL. AndriantsiferanaPublished in: FTDCS (1995)
Keyphrases
- multimedia
- temporal ordering
- protocol specification
- multimedia content
- multimedia systems
- communication protocols
- multimedia databases
- multimedia data
- video data
- formal specification
- formal verification
- user defined
- high level
- digital video
- digital media
- state machines
- multimedia information retrieval
- e learning
- multimedia communication
- formal specification language
- specification language
- cultural heritage
- metadata
- security protocols
- multimedia documents
- multi agent systems