Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps
PROCEEDINGS OF THE 2024 ACM/IEEE 6TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH & PRACTICES FOR THE INTERNET OF THINGS, SERP4IOT 2024（2024）
Key words
Security and Safety,IoT applications,Software verification and Validation
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