Yusupov J. Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures. ACTA TTPU [Internet]. 2025 Jul. 14 [cited 2025 Jul. 15];15(1):70-3. Available from: https://acta.polito.uz/index.php/journal/article/view/316