Lazhar Hamel

Refinement and Verification for IoT Service Composition

2023

Internet of Things (IoT) is a finite set of interconnected devices that can cooperate and interact with each other through the Internet. As the number of IoT devices have increased, the number of services increased …