The following pages link to A resource-efficient event algebra (Q608343):
Displaying 5 items.
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← links)
- A Formal Framework for Complex Event Processing (Q5091115) (← links)
- Conditionals, Information, and Inference (Q5464023) (← links)
- (Q5680110) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717489) (← links)