Seguir
Ramesh Neupane
Ramesh Neupane
Boise State University
Dirección de correo verificada de u.boisestate.edu
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3