C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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