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

Inès Mouakher Fatma Dhaou J. Christian Attiogbé

Published in: ICSOFT (2020)

Keyphrases

implementation details
real time
relational databases
data sets
database systems
news stories
implementation issues