C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
TeSSLa: runtime verification of non-synchronized real-time streams.
Martin Leucker
César Sánchez
Torben Scheffel
Malte Schmitz
Alexander Schramm
Published in:
SAC (2018)
Keyphrases
</>
real time
control system
neural network
learning algorithm
low cost
high fidelity
data streams
general purpose
high speed
model checking
data sets
image sequences
face verification
event driven
multi stream
continuous stream