Security and Safety Verification in IoT Apps

Lobna Abuserrieh, Manar H. Alalfi. Security and Safety Verification in IoT Apps. In IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023. pages 601-605, IEEE, 2023. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.