Towards Generating SPARK from Event-B Models.

Sanjeevan Sritharan Thai Son Hoang

Published in: IFM (2020)

Keyphrases

database
prior knowledge
probabilistic model
experimental data
learning algorithm
machine learning
computer vision
three dimensional
search algorithm
model selection
neural network model
accurate models