Cited By
View all- Jawad AArnott ZJaskolka J(2024)Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS62785.2024.00045(388-399)Online publication date: 1-Jul-2024
- Hosseini ASauter TKastner W(2023)Formal Verification of Safety and Security Properties in Industry 4.0 Applications2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA54631.2023.10275690(1-8)Online publication date: 12-Sep-2023
- Lanotte RMerro MZannone N(2023)Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case StudyFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-031-35355-0_6(75-94)Online publication date: 10-Jun-2023
- Show More Cited By