A Survey on Formal Verification and Validation Techniques for Internet of Things
Author:
Affiliation:
1. Faculty of Computer Science and Information Technology, Al-Baha University, Al-Baha 65528, Saudi Arabia
2. ReDCAD Laboratory, University of Sfax, Sfax 3038, Tunisia
Abstract
Publisher
MDPI AG
Subject
Fluid Flow and Transfer Processes,Computer Science Applications,Process Chemistry and Technology,General Engineering,Instrumentation,General Materials Science
Link
https://www.mdpi.com/2076-3417/13/14/8122/pdf
Reference85 articles.
1. A review and state of art of Internet of Things (IoT);Laghari;Arch. Comput. Methods Eng.,2021
2. Toward Secured IoT-Based Smart Systems Using Machine Learning;Abdalzaher;IEEE Access,2023
3. Fusion of multivariate EEG signals for schizophrenia detection using CNN and machine learning techniques;Hassan;Inf. Fusion,2023
4. Efficient Approach for Anomaly Detection in Internet of Things Traffic Using Deep Learning;Imtiaz;Wirel. Commun. Mob. Comput.,2022
5. Alamer, M., and Almaiah, M.A. (2021, January 14–15). Cybersecurity in Smart City: A systematic mapping study. Proceedings of the 2021 International Conference on Information Technology (ICIT), Amman, Jordan.
Cited by 12 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Novel Cloud-Based IoT Framework for Secure Health Monitoring;Sustainability;2024-02-05
2. A Novel Virtual Arrival Optimization Method for Traffic Organization Scenarios;Sustainability;2024-01-02
3. Energy Management Model for a Remote Microgrid Based on Demand-Side Energy Control;Energies;2023-12-28
4. Transmedia Performance Research and Motion Control of Unmanned Aerial–Aquatic Vehicles;Journal of Marine Science and Engineering;2023-12-25
5. Formal Methods and Validation Techniques for Ensuring Automotive Systems Security;Information;2023-12-18
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3