When a Formal Model Rhymes with a Graphical Notation.

Akram Idani Nicolas Stouls

Published in: SEFM Workshops (2014)

Keyphrases

formal model
security properties
predicate calculus
modeling language
data sets
information systems
wireless sensor networks
anomaly detection
graphical representations