Article Dans Une Revue
International Journal of Internet Protocol Technology
Année : 2023
Christian Attiogbé : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04240195
Soumis le : vendredi 13 octobre 2023-08:51:41
Dernière modification le : mardi 27 août 2024-12:55:42
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⟩
18
Consultations
0
Téléchargements