Parametrised Compositional Verification with Multiple Process and Data Types.

Antti Siirtola Keijo Heljanko

Published in: ACSD (2013)

Keyphrases

data types
data model
database systems
data structure
neural network
database management systems
user defined
data sets
databases
data mining
machine learning
information retrieval
data analysis
feature space
query optimization
abstract data types