Login / Signup
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