Incremental Verification of Complex Event Processing Applications for System Monitoring.

Andreas Metzger Christian Reinartz Klaus Pohl

Published in: SEAA (2018)

Keyphrases

complex event processing
stream processing
temporal reasoning
real time
supply chain management
event streams
event processing
semantic technologies
model checking
database
data mining
data streams
knowledge representation
supply chain