Ons Chikhaoui, Aida Ben Chehida Douss, Ryma Abassi, Sihem Guemara El Fatmi. A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs. In Marinos Themistocleous, Maria Papadaki, editors, Information Systems - 16th European, Mediterranean, and Middle Eastern Conference, EMCIS 2019, Dubai, United Arab Emirates, December 9-10, 2019, Proceedings. Volume 381 of Lecture Notes in Business Information Processing, pages 391-402, Springer, 2019. [doi]
Abstract is missing.