Syntactic Abstraction of B Models to Generate Tests.

Jacques Julliand Nicolas Stouls Pierre-Christophe Bué Pierre-Alain Masson

Published in: TAP@TOOLS (2010)

Keyphrases

probabilistic model
complex systems
learning algorithm
high level
three dimensional
multiscale
natural language
artificial neural networks
model selection
computational models
mathematical models
automatically generate
accurate models