Creating Sequential Programs from Event-B Models.

Pontus Boström

Published in: IFM (2010)

Keyphrases

prior knowledge
statistical models
learning algorithm
real time
neural network
information retrieval
website
data structure
probabilistic model
least squares
experimental data