From a Solution Model to a B Model for Verification of Safety Properties.

Philippe Bon Simon Collart Dutilleul

Published in: J. Univers. Comput. Sci. (2013)

Keyphrases

prior knowledge
formal model
neural network
objective function
process model
data mining
computer vision
high level
face recognition
video sequences
probabilistic model
management system
theoretical framework
bayesian framework
linear model