YUSUPOV, J. Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures. Acta of Turin Polytechnic University in Tashkent, [S. l.], v. 15, n. 1, p. 70–73, 2025. Disponível em: https://acta.polito.uz/index.php/journal/article/view/316. Acesso em: 15 jul. 2025.