Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.

Claudio Corrodi

Published in: CoRR (2015)

Keyphrases

high level
computational model
mathematical model
experimental data
formal model
theoretical framework
network model
real time
simulation model
neural network model
sensitivity analysis
conceptual model
statistical model
theoretical analysis
input data
objective function
database systems
knowledge base