Demonstration and Verification System Design for Data Processing.

Fan Yang Zhenghong Dong Shucai Zhang

Published in: KMO (2016)

Keyphrases

data processing
case study
databases
knowledge based systems
design process
model checking
optimal design
functional verification
real time
artificial intelligence
search algorithm
high speed
computer systems
computer aided
engineering design