Behaviour-Driven Formal Model Development.

Colin F. Snook Thai Son Hoang Dana Dghaym Michael J. Butler Tomas Fischer Rupert Schlick Keming Wang

Published in: ICFEM (2018)

Keyphrases

formal model
formal models
information systems
case study
data driven
development process
predicate calculus
real time
learning algorithm
knowledge management
intrusion detection
information processing
cognitive model