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.

A Formal Model for Interaction Specification and Analysis in IoT Applications

Souad Marir, Faiza Belala, Nabil Hameurlain. A Formal Model for Interaction Specification and Analysis in IoT Applications. In El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez 0001, editors, Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 11163 of Lecture Notes in Computer Science, pages 371-384, Springer, 2018. [doi]

Authors

Souad Marir

This author has not been identified. Look up 'Souad Marir' in Google

Faiza Belala

This author has not been identified. Look up 'Faiza Belala' in Google

Nabil Hameurlain

This author has not been identified. Look up 'Nabil Hameurlain' in Google
runs on