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]

Authors

Nazeeruddin Mohammad

This author has not been identified. Look up 'Nazeeruddin Mohammad' in Google

Shahabuddin Muhammad

This author has not been identified. Look up 'Shahabuddin Muhammad' in Google

Abul Bashar

This author has not been identified. Look up 'Abul Bashar' in Google

Majid Ali Khan

This author has not been identified. Look up 'Majid Ali Khan' in Google