*Result*: Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems

Title:
Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems
Authors:
Unniyankal, Hisham, Ancona, Davide, Ferrando, Angelo, Parodi, Fabio, Alessi, Alessandro, Bottino, Federico
Source:
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) DSN-S Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on. :112-118 Jun, 2025
Relation:
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)
Database:
IEEE Xplore Digital Library