An ASM-based Formal Model of a Java Program.

Alexandre V. Zamulin

Published in: Program. Comput. Softw. (2003)

Keyphrases

formal model
active shape model
predicate calculus
formal models
active shape
facial features
case based reasoning
face detection
security properties
probabilistic knowledge