Login / Signup
Building Traceable Event-B Models from Requirements.
Eman H. Alkhammash
Asieh Salehi Fathabadi
Michael J. Butler
Corina Cîrstea
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
</>
artificial intelligence
multiscale
experimental data
computational models
neural network
computer vision
knowledge base
three dimensional
database systems
probabilistic model
statistical models
design choices