Login / Signup
Graphical editing support for QuickCheck models.
Thomas Arts
Kirill Bogdanov
Alex Gerdes
John Hughes
Published in:
ICST Workshops (2015)
Keyphrases
</>
probabilistic model
graphical representations
end users
real time
website
accurate models
statistical model
statistical models
bayesian framework
mathematical models
modelling language
learned models
classification models
complex systems
d objects
neural network
databases