Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé. Toward a Correct Implementation of LwM2M Client with Event-B. In Marten van Sinderen, Hans-Georg Fill, Leszek A. Maciaszek, editors, Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020. pages 172-179, ScitePress, 2020. [doi]
Abstract is missing.