Deterministic High-Level Executable Models Allowing Efficient Runtime Verification.

Vladimir Estivill-Castro René Hexel

Published in: MODELSWARD (Revised Selected Papers) (2017)

Keyphrases

high level
low level
cost effective
lightweight
computationally efficient
website
web services
computationally expensive
statistical models
experimental data
probabilistic model
autoregressive
black box
parameter estimation
maximum likelihood
database
prior knowledge
lower bound
data structure
neural network
real time