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