Verification of timed chi models using uppaal.

Elena M. Bortnik D. A. van Beek Joanna M. van de Mortel-Fronczak Jacobus E. Rooda

Published in: ICINCO (2005)

Keyphrases

model checking
probabilistic model
computer vision
experimental data
statistical models
real time
real world
data mining
artificial neural networks
petri net
information gain
face verification
modeling framework
colored petri nets