Chiara Bodei, Gian-Luigi Ferrari 0002, Letterio Galletta, Pierpaolo Degano. Risk Estimation in IoT Systems. In Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara 0001, Martina Olliaro, editors, Challenges of Software Verification. Volume 238 of Intelligent Systems Reference Library, pages 221-242, Springer, 2023. [doi]
Abstract is missing.