External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. In Chryssis Georgiou, Rupak Majumdar, editors, Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings. Volume 12129 of Lecture Notes in Computer Science, pages 94-111, Springer, 2020. [doi]

Authors

Boutheina Bannour

This author has not been identified. Look up 'Boutheina Bannour' in Google

Arnault Lapitre

This author has not been identified. Look up 'Arnault Lapitre' in Google

Pascale Le Gall

This author has not been identified. Look up 'Pascale Le Gall' in Google
runs on