HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams.

Felipe Gorostiaga César Sánchez

Published in: FM (2021)

Keyphrases

real time
event streams
complex event processing
event driven
episode mining
object oriented
model checking
high volume
event processing
data model
database
data sets
image sequences
stream processing