Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems |
| Συγγραφείς: |
Ancona, Davide, Avola, Stefano, Ferrando, Angelo, Baglietto, Pierpaolo, Ter Beek, Maurice H., Parodi, Andrea, Camera, Giancarlo, Pinasco, Matteo |
| Πηγή: |
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. :153-159 Jun, 2025 |
| Relation: |
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |