Conference
Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!