C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Correct-by-construction synthesis of model transformations using transformation patterns.
Kevin Lano
Shekoufeh Kolahdouz Rahimi
Iman Poernomo
Jeffrey Terrell
Steffen Zschaler
Published in:
Softw. Syst. Model. (2014)
Keyphrases
</>
management system
learning algorithm
high level
computational model
mathematical model
experimental data
real time
neural network
social networks
web services
similarity measure
parameter estimation
statistical model
sensitivity analysis
network model
autoregressive