Verifying Digital Systems with MATLAB.

Lennon C. Chaves Iury Bessa Lucas C. Cordeiro Daniel Kroening Eddie Batista de Lima Filho

Published in: CoRR (2017)

Keyphrases

distributed systems
computer systems
learning systems
complex systems
systems require
database
real time
data mining
information retrieval
computer vision
multiresolution
intelligent systems
computing systems