Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems |
| Συγγραφείς: |
Unniyankal, Hisham, Ancona, Davide, Ferrando, Angelo, Parodi, Fabio, Alessi, Alessandro, Bottino, Federico |
| Πηγή: |
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) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |