Verification and Analysis of Self-Checking Properties through ATPG.

Marc Hunger Sybille Hellebrand

Published in: IOLTS (2008)

Keyphrases

real time
wide range
video sequences
databases
search algorithm
data analysis
lower bound
information technology
image analysis
formal analysis