Treffer: Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles

Title:
Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles
Authors:
Bernardeschi, Cinzia, Fagiolini, Adriano, Pagani, Dario, Quadri, Christian
Source:
2025 IEEE Conference on Communications and Network Security (CNS) Communications and Network Security (CNS), 2025 IEEE Conference on. :1-6 Sep, 2025
Relation:
2025 IEEE Conference on Communications and Network Security (CNS)
Database:
IEEE Xplore Digital Library