A Survey on Formal Verification and Validation Techniques for Internet of Things
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 security of these systems are critical concerns that must be addressed to ensure their safe and effective operation. Th...
| Autor Principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado: |
MDPI AG
2023-07-01
|
| Series: | Applied Sciences |
| Subjects: | |
| Acceso en liña: | https://www.mdpi.com/2076-3417/13/14/8122 |