Login / Signup
Feasibility Verification of ATSC 3.0 MIMO System for 8K-UHD Terrestrial Broadcasting.
Hoiyoon Jung
Sung-Ik Park
Bo-Mi Lim
Haechan Kwon
Namho Hur
Sungho Jeon
Hyeongseok Kim
Jeongchang Kim
Published in:
IEEE Trans. Broadcast. (2021)
Keyphrases
</>
model checking
digital video
face verification
formal methods
verification method
neural network
formal verification
lidar data