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
Citácia podle Chicago (17th ed.)Raptis, George E., Muhammad Taimoor Khan, Christos Koulamas, a 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.
Citácia podľa MLA (8th ed.)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.