Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali. Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. In International Conference on Frontiers of Information Technology, FIT 2021, Islamabad, Pakistan, December 13-14, 2021. pages 170-175, IEEE, 2021. [doi]
Abstract is missing.