The following pages link to (Q3165946):
Displaying 8 items.
- Monitoring of temporal first-order properties with aggregations (Q888414) (← links)
- Algorithms for monitoring real-time properties (Q1647773) (← links)
- Almost event-rate independent monitoring (Q2008287) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- Static checking of GDPR-related privacy compliance for object-oriented distributed systems (Q2669242) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
- Almost Event-Rate Independent Monitoring of Metric Temporal Logic (Q3303922) (← links)
