Meta-Model validation and verification with MetaBest.

Jesús J. López-Fernández Esther Guerra Juan de Lara

Published in: ASE (2014)

Keyphrases

model validation
verification method
information systems
meta level
model checking
signature verification
formal methods
meta reasoning
face verification
expert systems
multiscale
image processing
learning algorithm
formal verification
high security
machine learning
neural network
data sets