Login / Signup
Specification and Verification of Quality Requirements in Distributed Multimedia Presentations.
Costas Mourlas
Published in:
ICDCS Workshops (2002)
Keyphrases
</>
multimedia presentations
distributed systems
formal verification
asynchronous circuits
model checking
multimedia data
multimedia databases
formal methods
multimedia
data sets
video sequences
medical data
protocol specification