2012

1. Modeling a risk detection system for elderly's home-care with a network of timed automata

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)