Gabor Simko, Janos Sztipanovits. Active Monitoring using Real-time Metric Linear Temporal Logic Specifications. In Emmanuel Conchon, Carlos Manuel B. A. Correia, Ana L. N. Fred, Hugo Gamboa, editors, HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1 - 4 February, 2012. pages 370-373, SciTePress, 2012.
Abstract is missing.