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