IoT-based Formal Modelling of emergency message dissemination scheme for VANETs.

Sidra Iqbal Nazir Ahmad Zafar Tariq Ali

Published in: FIT (2021)

Keyphrases

management system
information systems
neural network
email
decision making
cloud computing
detection scheme
classification scheme
formal specification
formal methods
message transmission