Validating and verifying LwM2M clients with event-B.

Inès Mouakher Fatma Dhaou J. Christian Attiogbé

Published in: Int. J. Internet Protoc. Technol. (2023)

Keyphrases

neural network
event detection
client server
databases
event recognition
real world
artificial intelligence
social networks
metadata
multimedia
image sequences
social media
news articles
temporal relations
event driven
event sequences
complex events
central server