Toward a Correct Implementation of LwM2M Client with Event-B.

Ins Mouakher, Fatma Dhaou, J. Christian Attiogb

Browse the full ICSoft paper archive.