Kahina Gani, Marinette Bouet, Michel Schneider, Farouk Toumani. Formal Modeling and Analysis of Home Care Plans. In Xavier Franch, Aditya K. Ghose, Grace A. Lewis, Sami Bhiri, editors, Service-Oriented Computing - 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings. Volume 8831 of Lecture Notes in Computer Science, pages 494-501, Springer, 2014. [doi]
Abstract is missing.