A formalism for describing modeling transformations for verification.

Márk Asztalos László Lengyel Tihamer Levendovszky

Published in: MoDeVVa@MoDELS (2009)

Keyphrases

model checking
face verification
real time
data sets
case study
image sequences
face recognition
knowledge representation
distributed systems
logic programs
modeling framework