Login / Signup
Controllable self-checking checkers for conditional concurrent checking.
Steffen Tarnick
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1995)
Keyphrases
</>
database
learning algorithm
artificial intelligence
preprocessing