5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010

Published in: SSV (2010)

Keyphrases

expert systems
selected papers
neural network
real time
computer systems
case study
data sets
knowledge base
decision making
information technology
control system
management system
information retrieval systems
distributed systems
learning systems
complex systems
computing systems
database