Farnaz Yousefi

Identifiers

• name variant Farnaz Yousefi 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 #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ali Movaghar 1 shared papers
• Ehsan Khamespanah 1 shared papers
• Marjan Sirjani 1 shared papers
• Mohammed Gharib 1 shared papers