A survey on formal verification and validation techniques for internet of things
M Krichen - Applied Sciences, 2023 - mdpi.com
The Internet of Things (IoT) has brought about a new era of connected devices and systems,
with applications ranging from healthcare to transportation. However, the reliability and …
with applications ranging from healthcare to transportation. However, the reliability and …
[PDF][PDF] Організація взаємодії пристроїв з доступом в інтернет на основі мікроконтролерів із обмеженою кількістю ресурсів
ОО Вдовіченко, АЄ Перепелицин - 2023 - nti.khai.edu
Предметом вивчення і дослідження в даній статті є технології і моделі дистанційної
взаємодії вузлів, а також окремих малогабаритних складових компонентів вбудованих …
взаємодії вузлів, а також окремих малогабаритних складових компонентів вбудованих …
Multi-Context-based Trust Management Framework and Simulator for Social Internet of Things
M Zouzou - 2024 - eprints.staffs.ac.uk
The rise of the Social Internet of Things (SIoT) brings forth new challenges in trust
management within interconnected device networks. This thesis endeavours to address …
management within interconnected device networks. This thesis endeavours to address …
Vérification et validation formelles pour l'Internet des objets
M Krichen - 2024 - hal.science
Résumé L'Internet des objets (IdO) a ouvert une nouvelle ère de dispositifs et de systèmes
connectés, avec des applications allant des soins de santé au transport. Cependant, la …
connectés, avec des applications allant des soins de santé au transport. Cependant, la …
A Generic Qualitative Inquiry on Cyber Professionals' Perceptions of Risk Tolerance Strategies on the Internet of Things Cyber Resilience
LY Wagner - 2024 - search.proquest.com
This research explores cybersecurity professionals' perceptions of risk tolerance strategies
to enhance Internet of Things (IoT) cyber resilience. With the rapid proliferation of IoT …
to enhance Internet of Things (IoT) cyber resilience. With the rapid proliferation of IoT …
Organization of communication of devices with internet access based on microcontrollers with limited hardware resources
The subject of study in this article and research are technologies and models of remote
communication of nodes, as well as individual small-sized components of embedded IoT …
communication of nodes, as well as individual small-sized components of embedded IoT …