@dblp

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models.

, , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 22-55. Springer, (2024)

Links and resources

Tags