Imen Tounsi, Najeh Khalfi, Abdessamad Saidi 0002, Mohamed Hadj Kacem. Modeling IoT Design Patterns Proven Correct by Construction. In Hamdi Aloulou, Bessam Abdulrazak, Antoine de Marassé-Enouf, Mounir Mokhtari, editors, Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings. Volume 13287 of Lecture Notes in Computer Science, pages 30-42, Springer, 2022. [doi]
Abstract is missing.