Formal Analysis of Complex Event Processing - Potential and Challenges.

Matthias Weidlich

Published in: CS&P (2018)

Keyphrases

formal analysis
complex event processing
formal methods
stream processing
ban logic
artificial intelligence
temporal reasoning
agent model
data sets
data analysis
scheduling algorithm