Subjecting Legacy Simulink Models to Timing Specifications.

Andreas Naderlinger

Published in: CyPhy/WESE (2018)

Keyphrases

probabilistic model
information retrieval
statistical models
database
case study
parameter estimation
experimental data
bayesian framework