Alberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti. A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. In Takeshi Okadome, Tatsuya Yamazaki, Mounir Makhtari, editors, Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings. Volume 4541 of Lecture Notes in Computer Science, pages 217-225, Springer, 2007. [doi]
Abstract is missing.