Model-Based Trace-Checking

Yvonne Howard Stefan Gruner Andrew M. Gravell Carla Ferreira Juan Carlos Augusto

Published in: CoRR (2011)

Keyphrases

consistency checking
genetic algorithm
database
real world
computer vision
clustering algorithm
multi agent