مرکز منطقه ای اطلاع رساني علوم و فناوري - Generating efficient protocol code from an abstract specification

Title of article :

Generating efficient protocol code from an abstract specification

Author/Authors :

Claude Castelluccia، نويسنده , , C.، نويسنده , , Walid Dabbous، نويسنده , , W.، نويسنده , , OʹMalley، نويسنده , , S.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1997

Pages :

From page :

514

To page :

524

Keywords :

Code optimization , formal languages , protocolcompilers , transport protocols.

Journal title :

IEEE/ ACM Transactions on Networking

Serial Year :

1997

Journal title :

IEEE/ ACM Transactions on Networking

Record number :

375558

Link To Document :