Login / Signup
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).
Moussa Amrani
Eugene Syriani
Manuel Wimmer
Robert Bill
Martin Gogolla
Frank Hermann
Kevin Lano
Published in:
VOLT@STAF (2014)
Keyphrases
</>
probabilistic model
experimental data
formal model
data mining
theoretical analysis
multi agent systems
simulation model
database
data sets
computer vision
management system
computational model
closed form
verification method