On "Exploring alternatives for transition verification".

Monika Kapus-Kolar

Published in: J. Syst. Softw. (2012)

Keyphrases

web services
model checking
decision makers
alternative approaches
verification method
real world
image processing
face verification
genetic algorithm
learning algorithm
artificial neural networks
state transitions