RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.

Usa Sammapun Insup Lee Oleg Sokolsky

Published in: RTCSA (2005)

Keyphrases

monitoring system
real time
data sets
knowledge base
bayesian networks
probabilistic model
case study
image sequences
data driven
generative model
uncertain data
early warning