Hubert Kenfack Ngankam, Hélène Pigot, Marc Frappier, Camila Helena Souza Oliveira, Sylvain Giroux. Formal Specification for Ambient Assisted Living Scenarios. In Sergio F. Ochoa, Pritpal Singh, José Bravo, editors, Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings. Volume 10586 of Lecture Notes in Computer Science, pages 508-519, Springer, 2017. [doi]
Abstract is missing.