Error Correction Based on Verification Techniques.

Shi-Yu Huang Kuang-Chien Chen Kwang-Ting Cheng

Published in: DAC (1996)

Keyphrases

error correction
error correcting
data hiding
channel coding
error analysis
model checking
error detection
ldpc codes
watermarking scheme
error control
noisy channel