A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities

Hussam Al-Hamadi, Nida Nasir, Chan Yeob Yeun, Ernesto Damiani

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

17 Scopus citations

Fingerprint

Dive into the research topics of 'A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities'. Together they form a unique fingerprint.

Computer Science