Symbolic Analysis for GSMP Models with One Stateful Clock.

Mikhail Bernadsky Rajeev Alur

Published in: HSCC (2007)

Keyphrases

statistical analysis
probabilistic model
real time
high speed
machine learning algorithms
information retrieval
web services
case study
image analysis
statistical models
quantitative analysis
modeling framework
accurate models
model validation