Formal Specification for Ambient Assisted Living Scenarios

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]

Authors

Hubert Kenfack Ngankam

This author has not been identified. Look up 'Hubert Kenfack Ngankam' in Google

Hélène Pigot

This author has not been identified. Look up 'Hélène Pigot' in Google

Marc Frappier

This author has not been identified. Look up 'Marc Frappier' in Google

Camila Helena Souza Oliveira

This author has not been identified. Look up 'Camila Helena Souza Oliveira' in Google

Sylvain Giroux

This author has not been identified. Look up 'Sylvain Giroux' in Google