Building VCL Models and Automatically Generating Z Specifications from Them.

Nuno Amálio Christian Glodt Pierre Kelsen

Published in: FM (2011)

Keyphrases

automatically generating
automatically generated
probabilistic model
statistical model
real world
mathematical models
statistical models
cloud computing
reactive systems
classification models
complex systems
real time
model selection
prior knowledge
information systems
information retrieval
data mining
data sets