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 839 publications that cite this research output on Dimensions.
Book chapter (April 2024)
Book chapter (April 2024)
Article in Journal of Parallel and Distributed Computing (March 2024)