Verifying digital systems with MATLAB.

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

Published in: ISSTA (2017)

Keyphrases

management system
information systems
real time
complex systems
computational models
information retrieval
computer vision
decision making
multimedia
expert systems
knowledge based systems
systems require