DEVARAJ, Perumalsamy und SRINIVASAN, Sathiyandrakumar, 2025. Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices. In: . 7 November 2025.
Elsevier - Harvard (with titles)Devaraj, P., Srinivasan, S., 2025. Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices, in: . https://doi.org/10.1109/ICFT66708.2025.11336370
American Psychological Association 7th editionDevaraj, P., & Srinivasan, S. (2025, November 7). Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices. https://doi.org/10.1109/ICFT66708.2025.11336370
Springer - Basic (author-date)Devaraj P, Srinivasan S (2025) Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices
Juristische Zitierweise (Stüber) (Deutsch)Devaraj, Perumalsamy/ Srinivasan, Sathiyandrakumar, Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices, 2025, .