How Symbolic Animation Can Help Designing an Efficient Formal Model.

Fabrice Bouquet Frédéric Dadeau Bruno Legeard

Published in: ICFEM (2005)

Keyphrases

formal model
computer graphics
formal models
predicate calculus
security properties
neural network
high level
user interface
lightweight
business process
early stage
motion capture
probabilistic knowledge
security patterns