VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs (SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software)

Write a Blog >>

Mon 15 - Fri 19 July 2019 Beijing, China

co-located with ISSTA 2019

Who

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

Track

SPIN 2019 26th International SPIN Symposium on Model Checking of Software

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 16 Jul 2019 16:30 - 17:00 at Meeting Room 4 - Session 4 - Broader Approaches

Farnaz Yousefi

Ehsan Khamespanah

Mohammed Gharib

Marjan Sirjani

Ali Movaghar