Folgen
Ramesh Neupane
Ramesh Neupane
Boise State University
Bestätigte E-Mail-Adresse bei u.boisestate.edu
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3