Enabling the DVB-I reference client for 5G Broadcast reception - Verification of the overall system.

Mark Hoyer Lucca Richter Jonas von Beöczy

Published in: BMSB (2021)

Keyphrases

digital television
model checking
mobile clients
wireless channels
client server
digital video
face verification
news video
formal verification
data broadcasting
digital libraries
signature verification
wireless broadcast