A formal verification technique for behavioural model-to-model transformations.

Sander de Putter Anton Wijs

Published in: Formal Aspects Comput. (2018)

Keyphrases

probabilistic model
computational model
formal model
prior knowledge
theoretical framework
objective function
software engineering
maximum likelihood
theoretical analysis
parameter estimation
experimental data
neural network model