Practical Automated Partial Verification of Multi-paradigm Real-Time Models.

Carlo A. Furia Matteo Pradella Matteo Rossi

Published in: ICFEM (2008)

Keyphrases

real time
low cost
parameter estimation
data mining
statistical models
prior knowledge
high speed
modeling framework
parametric models
neural network model
model checking
experimental data
least squares
expert systems
training data
genetic algorithm
databases