SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World
KI 2024 ADVANCES IN ARTIFICIAL INTELLIGENCE, KI 2024（2024）
Key words
Web of Things,Static Verification,Safety
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined