Login / Signup
Umlchange - specifying model changes to support security verification of potential evolution.
Sven Wenzel
Daniel Poggenpohl
Jan Jürjens
Martín Ochoa
Published in:
Software Engineering (2016)
Keyphrases
</>
high level
mathematical model
statistical model
probabilistic model
management system
learning algorithm
image sequences
hidden markov models
experimental data
model checking
network structure