Login / Signup
Specifying model changes with UMLchange to support security verification of potential evolution.
Sven Wenzel
Daniel Poggenpohl
Jan Jürjens
Martín Ochoa
Published in:
Comput. Stand. Interfaces (2014)
Keyphrases
</>
probabilistic model
computational model
mathematical model
high level
statistical model
data sets
theoretical framework
security issues
objective function
probability distribution
experimental data
formal model
temporal evolution