Ehsan Khamespanah

Identifiers

• name variant Ehsan Khamespanah 0.50 · backfill

Papers (1)

1. VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs cs.NI · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Ali Movaghar 1 shared papers
• Farnaz Yousefi 1 shared papers
• Marjan Sirjani 1 shared papers
• Mohammed Gharib 1 shared papers