| Title: |
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems |
| Authors: |
Ancona, Davide; Avola, Stefano; Ferrando, Angelo; Baglietto, Pierpaolo; Ter Beek, Maurice H.; Parodi, Andrea; Camera, Giancarlo; Pinasco, Matteo |
| 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. :153-159 Jun, 2025 |
| Relation: |
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) |
| Database: |
IEEE Xplore Digital Library |