Ajay Krishna 0001, Michel Le Pallec, Radu Mateescu 0001, Ludovic Noirie, Gwen Salaün. Rigorous design and deployment of IoT applications. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 21-30, IEEE / ACM, 2019. [doi]
@inproceedings{0001P0NS19,
title = {Rigorous design and deployment of IoT applications},
author = {Ajay Krishna 0001 and Michel Le Pallec and Radu Mateescu 0001 and Ludovic Noirie and Gwen Salaün},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3338819},
researchr = {https://researchr.org/publication/0001P0NS19},
cites = {0},
citedby = {0},
pages = {21-30},
booktitle = {Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019},
editor = {Stefania Gnesi and Nico Plat and Nancy A. Day and Matteo Rossi},
publisher = {IEEE / ACM},
}