Verifying the Implementation of an Error Control Code.

Pascalin Amagbégnon Uri Barkai

Published in: Formal Methods Syst. Des. (2003)

Keyphrases

error control
error correction
packet loss
error detection
error resilience
reed solomon
video transmission
image data
high frequency
error concealment