Validating and verifying LwM2M clients with event-B - Archive ouverte HAL
Article Dans Une Revue International Journal of Internet Protocol Technology Année : 2023
Fichier non déposé

Dates et versions

hal-04240195 , version 1 (13-10-2023)

Identifiants

Citer

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé. Validating and verifying LwM2M clients with event-B. International Journal of Internet Protocol Technology, 2023, 16 (2), pp.75-91. ⟨10.1504/IJIPT.2023.131291⟩. ⟨hal-04240195⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

More