Formally Characterizing the Effect of Model Transformations on System Properties.

Rikayan Chaki Anton Wijs

Published in: FACS (2022)

Keyphrases

computational model
high level
statistical model
management system
theoretical analysis
database
mathematical model
probabilistic model
power law
autoregressive
formal model
process model
cost function
objective function
multiscale
image sequences
data mining
neural network
data sets