A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs

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]

Authors

Ons Chikhaoui

This author has not been identified. Look up 'Ons Chikhaoui' in Google

Aida Ben Chehida Douss

This author has not been identified. Look up 'Aida Ben Chehida Douss' in Google

Ryma Abassi

This author has not been identified. Look up 'Ryma Abassi' in Google

Sihem Guemara El Fatmi

This author has not been identified. Look up 'Sihem Guemara El Fatmi' in Google