Model-based Runtime Verification Framework.

Yuhong Zhao Franz-Josef Rammig

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

main contribution
computational framework
probabilistic model
conceptual framework
multiscale
real time
machine learning
genetic algorithm
multimedia
database systems