An Evaluative Review of the Formal Verification for VANET Protocols.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Browse the full IWCMC paper archive.