Automated Property Verification for Large Scale B Models.

Michael Leuschel Jérôme Falampin Fabian Fritz Daniel Plagge

Published in: FM (2009)

Keyphrases

real life
neural network
probabilistic model
complex systems
statistical models
computational models
real world
information systems
three dimensional
data model
graphical models
generative model
process model
modeling framework