Introduction - Verification of Parameterized Systems - VEPAS 2001.

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

systems require
databases
information technology
computer systems
case study
information systems
data mining
feature selection
website
similarity measure
artificial intelligence
management system
distributed systems
information retrieval
building blocks
learning systems
complex systems
formal methods