Conference
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!