Login / Signup

Formal Analysis of Human-Assisted Smart City Emergency Services.

Nazeeruddin MohammadShahabuddin MuhammadAbul BasharMajid Ali Khan
Published in: IEEE Access (2019)
Keyphrases
  • formal analysis
  • smart city
  • emergency services
  • formal methods
  • smart cities
  • end to end
  • travel time
  • information services
  • agent model