Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle.
Tony TsangRichard LaiPublished in: Softw. Pract. Exp. (1998)
Keyphrases
- multimedia
- formal verification
- asynchronous circuits
- model checking
- protocol specification
- formal methods
- high level
- distributed multimedia database systems
- formal specification
- colored petri nets
- video data
- multimedia data
- metadata
- digital libraries
- learning environment
- multimedia content
- multimedia databases
- multimedia systems
- digital video
- content delivery
- chaotic systems
- multimedia information retrieval
- data sets
- face verification
- cultural heritage
- interactive multimedia
- petri net
- multimedia information
- multimedia technology
- provably correct
- genetic algorithm
- media streams
- phase locked
- real time
- information systems
- multimedia objects
- specification language
- case study
- database
- learning scenarios
- video sequences