A Formal Approach for the Iterative Design of Behavioural Models.

Published in: APSEC (2012)

Keyphrases

prior knowledge
design choices
complex systems
modelling language
metamodel
case study
expert systems
multi agent systems
probabilistic model
design process
real time
statistical models
classification models
design methodology
formal methods
machine learning
modeling tool
data sets