Towards the Verification of Adaptable Processes.

Mario Bravetti Cinzia Di Giusto Jorge A. Pérez Gianluigi Zavattaro

Published in: ISoLA (1) (2012)

Keyphrases

model checking
stochastic processes
high security
neural network
machine learning
information systems
decision trees
similarity measure
learning environment
evolutionary algorithm
software engineering
face verification
person identification
concurrent systems