| 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 |