C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime verification of real-time event streams using the tool HStriver.
Felipe Gorostiaga
César Sánchez
Published in:
Formal Methods Syst. Des. (2022)
Keyphrases
</>
real time
event streams
complex event processing
event driven
high volume
model checking
event processing
stream processing
spatio temporal
sliding window