Ancona, D., Avola, S., Ferrando, A., Baglietto, P., Ter Beek, M. H., Parodi, A., . . . Pinasco, M. (2025). Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on, DSN-S, 153. https://doi.org/10.1109/DSN-S65789.2025.00056
Παραπομπή σε μορφή Chicago (17η εκδ.)Ancona, Davide, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. Ter Beek, Andrea Parodi, Giancarlo Camera, και Matteo Pinasco. "Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems." 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on, DSN-S 2025: 153. https://doi.org/10.1109/DSN-S65789.2025.00056.
Παραπομπή σε μορφή MLA (9th εκδ.)Ancona, Davide, et al. "Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems." 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on, DSN-S, 2025, p. 153, https://doi.org/10.1109/DSN-S65789.2025.00056.