Formal models for the verification, performance evaluation, and comparison of IoT communication protocols.

Imene Ben Hafaiedh

Published in: NCA (2022)

Keyphrases

formal models
communication protocols
protocol specification
rule based systems
formal model
communication protocol
management system
genetic algorithm
process model
data mining
computer simulation
business process
model checking
communication networks