Formal Analysis of Human-Assisted Smart City Emergency Services

Nazeeruddin Mohammad, Shahabuddin Muhammad, Abul Bashar, Majid Ali Khan. Formal Analysis of Human-Assisted Smart City Emergency Services. IEEE Access, 7:60376-60388, 2019. [doi]

Abstract

Abstract is missing.