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]
@inproceedings{NgankamPFOG17,
title = {Formal Specification for Ambient Assisted Living Scenarios},
author = {Hubert Kenfack Ngankam and Hélène Pigot and Marc Frappier and Camila Helena Souza Oliveira and Sylvain Giroux},
year = {2017},
doi = {10.1007/978-3-319-67585-5_51},
url = {https://doi.org/10.1007/978-3-319-67585-5_51},
researchr = {https://researchr.org/publication/NgankamPFOG17},
cites = {0},
citedby = {0},
pages = {508-519},
booktitle = {Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings},
editor = {Sergio F. Ochoa and Pritpal Singh and José Bravo},
volume = {10586},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-67585-5},
}