Davide Ancona, Stefano Avola, Angelo Ferrando 0001, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco. Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. In 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2025 - Supplemental Volume, Naples, Italy, June 23-26, 2025. pages 153-159, IEEE, 2025. [doi]
Abstract is missing.