Overview of the DASH-HLS interoperability specification: 2021 edition.

Published in: MHV (2022)

Keyphrases

web services
high level
metadata
information sharing
specification language
theorem proving
information systems
semantic web
color space
formal specification
real time
databases
learning objects
programming language
petri net
formal verification