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