Sign in
Model-based Runtime Verification Framework for Self-optimizing Systems.
Yuhong Zhao
Simon Oberthür
Martin Kardos
Franz-Josef Rammig
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
main contribution
management system
database
complex systems
model checking
formal methods
genetic algorithm
learning systems
bayesian framework
biometric systems