APA (7th ed.) Citation

Raptis, G. E., Khan, M. T., Koulamas, C., & Serpanos, D. (2025, August 4). LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS. 2025 IEEE International Conference on Cyber Security and Resilience (CSR), 957-962. https://doi.org/10.1109/CSR64739.2025.11130130

Chicago Style (17th ed.) Citation

Raptis, George E., Muhammad Taimoor Khan, Christos Koulamas, and Dimitrios Serpanos. "LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS." 2025 IEEE International Conference on Cyber Security and Resilience (CSR) 4 Aug. 2025: 957-962. https://doi.org/10.1109/CSR64739.2025.11130130.

MLA (9th ed.) Citation

Raptis, George E., et al. "LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS." 2025 IEEE International Conference on Cyber Security and Resilience (CSR), 4 Aug. 2025, pp. 957-962, https://doi.org/10.1109/CSR64739.2025.11130130.