Validating and verifying LwM2M clients with event-B
-
Published:2023
Issue:2
Volume:16
Page:75-91
-
ISSN:1743-8209
-
Container-title:International Journal of Internet Protocol Technology
-
language:en
-
Short-container-title:IJIPT
Author:
Mouakher Inès,Dhaou Fatma,Attiogbé J. Christian
Publisher
Inderscience Publishers
Subject
Computer Networks and Communications