Yusupov, J. (2025) “Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures”, Acta of Turin Polytechnic University in Tashkent, 15(1), pp. 70–73. Available at: https://acta.polito.uz/index.php/journal/article/view/316 (Accessed: 15 July 2025).