collaborators

1 paper

cs.NI2019

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib +2

One of the applications of vehicular ad-hoc networks is warning message dissemination among vehicles in dangerous situations to prevent more damage. The only communication mechanis…