ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
ISSTA 2019 (series) / Ehsan Khamespanah

Registered user since Mon 12 Oct 2015

Name: Ehsan Khamespanah

Contributions

SPIN 2019Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences

ISSTA 2019-profile
View general profile