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

Imene Ben Hafaiedh

Browse the full NCA paper archive.