LEAD: A Formal Specification For Event Processing.

Anas Al Bassit Sabri Skhiri Hejer Ammar

Published in: DEBS (2019)

Keyphrases

formal specification
event processing
model checking
complex event processing
stream processing
reverse engineering
real time
complex events
software components
artificial intelligence
software engineering
supply chain management
event recognition