Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ikram Haddou-Oumouloud"'
Publikováno v:
IEEE Access, Vol 12, Pp 171853-171875 (2024)
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
Externí odkaz:
https://doaj.org/article/a85371260e7b4cbd8dd845e7290fd2fc
