Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization.
Ahmet F. AtesMurat BilgicSenro SaitoBehçet SarikayaPublished in: IEEE J. Sel. Areas Commun. (1996)
Keyphrases
- colored petri nets
- multimedia
- petri net
- formal verification
- formal methods
- constraint satisfaction problems
- discrete event
- constraint propagation
- digital libraries
- qualitative simulation
- simulation model
- e learning
- multimedia databases
- asynchronous circuits
- tree decomposition
- multimedia information retrieval
- numerical simulations
- multimedia data
- model checking
- mathematical model
- high level
- metadata
- formal specification
- digital media
- simulation environment
- multimedia content
- multimedia objects
- signature verification
- video data