Takip et
Ramesh Neupane
Ramesh Neupane
Boise State University
u.boisestate.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
An ontology-based framework for formal verification of safety and security properties of control logics
R Neupane, H Mehrpouyan
2022 14th International Conference on Electronics, Computers and Artificial …, 2022
32022
Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems
C Ukegbu, R Neupane, H Mehrpouyan
Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference …, 2023
2023
Ontology-Based Formal Approach for Safety and Security Verification of Industrial Control Systems
R Neupane
2022
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–3