Automatic Verification of Real-Time Systems with Rich Data: An Overview.

Ernst-Rüdiger Olderog

Published in: TAMC (2012)

Keyphrases

real time systems
data sets
training data
data collection
database
data structure
data sources
real time
artificial neural networks
data points
source code
embedded systems