Login / Signup
Stream runtime verification of real-time event streams with the Striver language.
Felipe Gorostiaga
César Sánchez
Published in:
Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
</>
event streams
complex event processing
real time
event driven
event processing
episode mining
stream processing
high volume
data gathering
frequent episodes
natural language
temporal reasoning
data streams
supply chain management
model checking
temporal databases