Monitoring Temporal Properties of Continuous Signals
Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Scopus indexed
Author
Maler, Oded;
Nickovic, DejanISTA
Series Title
LNCS
Publishing Year
Date Published
2004-12-14
Publisher
Springer
Acknowledgement
This work was partially supported by the EC projects IST-2001-33520 CC (Control and Computation), IST-2001-35302 AMETIST (Advanced Methods for Timed Systems) and IST-2003-507219 PROSYD (Property-Based System Design).
Page
152 - 166
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
IST-REx-ID
Cite this
Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:10.1007/978-3-540-30206-3_12
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/978-3-540-30206-3_12
Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. https://doi.org/10.1007/978-3-540-30206-3_12.
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.
Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:10.1007/978-3-540-30206-3_12.