Login / Signup
Proving the Correctness of Digital Hardware Designs.
Harry G. Barrow
Published in:
AAAI (1983)
Keyphrases
</>
hardware designs
data mining
image processing
pattern recognition
model based diagnosis
digital objects
digital video