A formal approach to specify and verify Internet of Things architecture
Abstract The Internet of Things (IoT) aims to interconnect the physical world with the digital
world, presenting complex challenges that require accurate models to ensure …
world, presenting complex challenges that require accurate models to ensure …
Automated Transformation of IoT Systems Models into Event-B Specifications
Abstract Developing Internet of Things systems without the benefit of a standard is a difficult
process. In this regard, we propose to describe Internet of Things systems using a UML meta …
process. In this regard, we propose to describe Internet of Things systems using a UML meta …
and Ahmed Hadj Kacem® ReDCAD Laboratory, ENIS, University of Sfax, Sfax, Tunisia abdessamad. saidi@ redcad. org https://www. redcad. tn
A Saidi - Intelligent Systems Design and Applications: 22nd …, 2023 - books.google.com
Developing Internet of Things systems without the benefit of a standard is a difficult process.
In this regard, we propose to describe Internet of Things systems using a UML meta-model. It …
In this regard, we propose to describe Internet of Things systems using a UML meta-model. It …