A True-Concurrency Encoding for BMC of Compositional Systems.

Liangze Yin Wei Dong Fei He Ji Wang

Published in: Comput. J. (2018)

Keyphrases

management system
databases
technological advances
database
intelligent systems
decision trees
multimedia
information retrieval
real world
computer vision
learning algorithm
case study
database systems
software engineering
computer systems
complex systems
distributed databases
data flow
neural network