Building traceable Event-B models from requirements.

Eman H. Alkhammash Michael J. Butler Asieh Salehi Fathabadi Corina Cîrstea

Published in: Sci. Comput. Program. (2015)

Keyphrases

mathematical models
database
real time
neural network
metadata
model selection
experimental data
databases
real world
decision making
prior knowledge
statistical models
accurate models