Conference
JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations
| Τίτλος: | JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations |
|---|---|
| Συγγραφείς: | Rousseaux, Tom, Temmerman, Alix, Bonaventure, Olivier |
| Πηγή: | 2026 IFIP Networking Conference (IFIP Networking) Networking Conference (IFIP Networking), 2026 IFIP. :1-9 May, 2026 |
| Relation: | 2026 IFIP Networking Conference (IFIP Networking) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!