JeB: Safe Simulation of Event-B Models in JavaScript.

Faqing Yang Jean-Pierre Jacquot Jeanine Souquières

Published in: APSEC (1) (2013)

Keyphrases

neural network
probabilistic model
open source
simulation models
information systems
website
simulation environment
web applications
model selection
physical models
temporal patterns
simulation model
news articles
experimental data
complex systems
software engineering
learning algorithm
machine learning