J. Christian Attiogbé, Jérôme Rocheteau. Architectural Invariants and Correctness of IoT-Based Systems. In Philippe Fournier-Viger, Ahmed Hassan, Ladjel Bellatreche, Ahmed Awad 0001, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune, editors, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings. Volume 1751 of Communications in Computer and Information Science, pages 75-88, Springer, 2022. [doi]
Abstract is missing.