Login / Signup
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration).
Lennon C. Chaves
Iury Bessa
Lucas C. Cordeiro
Published in:
CoRR (2016)
Keyphrases
</>
computer vision
database
information retrieval
case study
digital libraries
management system
software tools
analysis tool
real time
image sequences
information technology
retrieval systems
computer aided