Toward Secure and Reliable IoT Systems: A Comprehensive Review of Formal Methods Applications
The exponential growth of Internet of Things (IoT) applications poses substantial obstacles in guaranteeing their dependability, safety, and effectiveness. Formal methods provide precise mathematical techniques for modeling, verifying, and analyzing these systems, effectively addressing important as...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2024-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10756658/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|