Treffer: Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices
Title:
Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices
Source:
2025 International Conference on Future Technologies (ICFT) Future Technologies (ICFT), 2025 International Conference on. :1-6 Nov, 2025
Relation:
2025 International Conference on Future Technologies (ICFT)
Database:
IEEE Xplore Digital Library