RAPTIS, George E., TAIMOOR KHAN, Muhammad, KOULAMAS, Christos und SERPANOS, Dimitrios, 2025. Synthesizing Inline Security Monitors for ICS Using Generative AI and Formal Bench. In: . 14 Oktober 2025.
Elsevier - Harvard (with titles)Raptis, G.E., Taimoor Khan, M., Koulamas, C., Serpanos, D., 2025. Synthesizing Inline Security Monitors for ICS Using Generative AI and Formal Bench, in: . https://doi.org/10.1109/IECON58223.2025.11221437
American Psychological Association 7th editionRaptis, G. E., Taimoor Khan, M., Koulamas, C., & Serpanos, D. (2025, Oktober 14). Synthesizing Inline Security Monitors for ICS Using Generative AI and Formal Bench. https://doi.org/10.1109/IECON58223.2025.11221437
Springer - Basic (author-date)Raptis GE, Taimoor Khan M, Koulamas C, Serpanos D (2025) Synthesizing Inline Security Monitors for ICS Using Generative AI and Formal Bench
Juristische Zitierweise (Stüber) (Deutsch)Raptis, George E./ Taimoor Khan, Muhammad/ Koulamas, Christos/ Serpanos, Dimitrios, Synthesizing Inline Security Monitors for ICS Using Generative AI and Formal Bench, 2025, .