Specifying and Verifying a Real-World Packet Error-Correction System.

Joshua M. Cohen Andrew W. Appel

Published in: VSTTE (2023)

Keyphrases

error correction
real world
bit errors
data hiding
error detection
error correcting
channel coding
error control
error detection and correction
watermarking scheme
application layer
error resilient
turbo codes
channel capacity
magnetic tape