Ons Chikhaoui, Aida Ben Chehida Douss, Ryma Abassi, Sihem Guemara El Fatmi. Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs. In Delphine Reinhardt, Tilo Müller, editors, ARES 2021: The 16th International Conference on Availability, Reliability and Security, Vienna, Austria, August 17-20, 2021. ACM, 2021. [doi]
Abstract is missing.