Login / Signup
Verification of Model Transformations: A Case Study with BPEL.
Luciano Baresi
Karsten Ehrig
Reiko Heckel
Published in:
TGC (2006)
Keyphrases
</>
data sets
formal model
theoretical framework
web services
linear model
parameter estimation
probabilistic model
high level
state space
theoretical analysis
image segmentation
computational model
learning algorithm
mathematical model
experimental data
neural network
metamodel
real time