Conference
JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations
| Title: | JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations |
|---|---|
| Authors: | Rousseaux, Tom, Temmerman, Alix, Bonaventure, Olivier |
| Source: | 2026 IFIP Networking Conference (IFIP Networking) Networking Conference (IFIP Networking), 2026 IFIP. :1-9 May, 2026 |
| Relation: | 2026 IFIP Networking Conference (IFIP Networking) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9783903176829 9798319507792 |
|---|---|
| ISSN: | 18612288 |
| DOI: | 10.23919/IFIPNetworking70592.2026.11579070 |