AMT: a property-based monitoring tool for analog systems
Nickovic D, Maler O. 2007. AMT: a property-based monitoring tool for analog systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 304–319.
Download
No fulltext has been uploaded. References only!
DOI
Conference Paper
| Published
Author
Nickovic, DejanISTA;
Maler, Oded
Series Title
LNCS
Publishing Year
Date Published
2007-09-20
Publisher
Springer
Page
304 - 319
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
IST-REx-ID
Cite this
Nickovic D, Maler O. AMT: a property-based monitoring tool for analog systems. In: Springer; 2007:304-319. doi:1567
Nickovic, D., & Maler, O. (2007). AMT: a property-based monitoring tool for analog systems (pp. 304–319). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1567
Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems,” 304–19. Springer, 2007. https://doi.org/1567.
D. Nickovic and O. Maler, “AMT: a property-based monitoring tool for analog systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2007, pp. 304–319.
Nickovic D, Maler O. 2007. AMT: a property-based monitoring tool for analog systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 304–319.
Nickovic, Dejan, and Oded Maler. AMT: A Property-Based Monitoring Tool for Analog Systems. Springer, 2007, pp. 304–19, doi:1567.
Google Scholar