Isabel Navarrete, José A. Rubio, Juan A. Botía, José T. Palma, Francisco Campuzano. Modeling a Risk Detection System for Elderly's Home-Care with a Network of Timed Automata. In José Bravo, Ramón Hervás, Marcela Rodríguez, editors, Ambient Assisted Living and Home Care - 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings. Volume 7657 of Lecture Notes in Computer Science, pages 82-89, Springer, 2012. [doi]
Abstract is missing.