Login / Signup
Certified Embedding of B Models in an Integrated Verification Framework.
Alexandra Halchin
Yamine Aït Ameur
Neeraj Kumar Singh
Abderrahmane Feliachi
Julien Ordioni
Published in:
TASE (2019)
Keyphrases
</>
probabilistic model
main contribution
modeling framework
theoretical framework
process model
graph embedding
complex systems
machine learning
digital images
bayesian framework
classification models