Refinement and Verification for IoT Service Composition
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 …
interact with each other through the Internet. As the number of IoT devices have increased …
Refinement and Verification for IoT Service Composition
SH Toman, L Hamel, M Graiet - 2023 IEEE Symposium on Computers …, 2023 - computer.org
Abstract 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 …
and interact with each other through the Internet. As the number of IoT devices have …