Monitoring Temporal Properties of Continuous Signals (2004)

by O Maler, D Nickovic
Venue:In: Proc. of FORMATS/ FTRTFT 2004: joint International Conferences on Formal Modeling and Analysis of Timed Systmes and Formal Techniques in Real-Time and Fault-Tolerant Systems. vol. 3253 of LNCS