Formalization and Verification of Enhanced Group Communication CoAP.

Sini Chen Ran Li Huibiao Zhu

Published in: Int. J. Softw. Eng. Knowl. Eng. (2024)

Keyphrases

group communication
fault tolerance
key management
fault tolerant
replicated databases
model checking
key distribution
database replication
computing environments
wireless mesh networks
message delivery
intelligent agents
load balancing
similarity measure
multi agent