Proving Event-B Models with Reusable Generic Lemmas.

Alexei Iliasov Paulius Stankaitis Alexander B. Romanovsky

Published in: ICFEM (2016)

Keyphrases

complex systems
statistical models
prior knowledge
domain specific
experimental data
data sets
databases
neural network
mathematical models
autoregressive
generic model