Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models
Book chapter (April 2024)
The most recent citing publications are shown below. View all 109 publications that cite this research output on Dimensions.
Book chapter (April 2024)
Article in Software and Systems Modeling (March 2024)
Article in ACM Transactions on Autonomous and Adaptive Systems (February 2024)