Login / Signup
Model exploration and analysis for quantitative safety refinement in probabilistic B
Ukachukwu Ndukwu
Annabelle McIver
Published in:
Refine@FM (2011)
Keyphrases
</>
probabilistic model
statistical model
mathematical model
statistical analysis
experimental data
formal model
bayesian networks
objective function
evolutionary algorithm
probability distribution
graphical models
conceptual model
simulation model
prediction model
safety analysis