Verification of Temporal Properties of Processes in a Setting with Data.

Jan Friso Groote Radu Mateescu

Published in: AMAST (1998)

Keyphrases

data sets
data analysis
database
data structure
data collection
pattern recognition
data points
data quality
temporal properties
neural network
artificial intelligence
decision making
data sources
probabilistic model
software development
model checking