Conference
Butterfly: Scalable Probabilistic Verification for Network Resilience under Failures
| Τίτλος: | Butterfly: Scalable Probabilistic Verification for Network Resilience under Failures |
|---|---|
| Συγγραφείς: | Ahangary, Saideh, Bos, Herbert, Gleissenthall, Klaus V., Slowinska, Asia |
| Πηγή: | 2026 IFIP Networking Conference (IFIP Networking) Networking Conference (IFIP Networking), 2026 IFIP. :1-6 May, 2026 |
| Relation: | 2026 IFIP Networking Conference (IFIP Networking) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!