A Formal Verification-Based Risk Assessment Framework for the Authentication of Self-driving Vehicles

Saeed, Muhammad Salman, Bezzateev, Sergey

2024 8th International Conference on Information, Control, and Communication Technologies (ICCT) Information, Control, and Communication Technologies (ICCT), 2024 8th International Conference on. :1-5 Oct, 2024

Saved in:

Bibliographic Details
Title	A Formal Verification-Based Risk Assessment Framework for the Authentication of Self-driving Vehicles
Authors	Saeed, Muhammad Salman, Bezzateev, Sergey
Source	2024 8th International Conference on Information, Control, and Communication Technologies (ICCT) Information, Control, and Communication Technologies (ICCT), 2024 8th International Conference on. :1-5 Oct, 2024

Get it

Holdings