Login / Signup

Verifying the Implementation of an Error Control Code.

Pascalin AmagbégnonUri 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