Counterexample-Guided Abstraction Refinement for Component-Based Systems.

Lianyi Zhang Qingdi Meng Guiming Luo

Published in: COMPSAC (2014)

Keyphrases

high level
management system
database
image processing
real time
databases
neural network
artificial intelligence
information systems
multi agent
intelligent systems
building blocks
learning systems
embedded systems
systems require