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 |
| ISBN: | 9783903176829 9798319507792 |
|---|---|
| ISSN: | 18612288 |
| DOI: | 10.23919/IFIPNetworking70592.2026.11579184 |