Souad Marir, Faiza Belala, Nabil Hameurlain. A Formal Model for Interaction Specification and Analysis in IoT Applications. In El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez 0001, editors, Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 11163 of Lecture Notes in Computer Science, pages 371-384, Springer, 2018. [doi]
Abstract is missing.