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
Series Title
LNCS
Publishing Year
Date Published
2007-09-20
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.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar