Dynamic Tasks Verification with Quasar.

Sami Evangelista Claude Kaiser Christophe Pajault Jean-François Pradat-Peyre Pierre Rousseau

Published in: Ada-Europe (2005)

Keyphrases

dynamic environments
model checking
dynamically changing
database
data mining
social networks
computer vision
image sequences
bayesian networks
artificial neural networks
special case
hidden markov models