مرکز منطقه ای اطلاع رساني علوم و فناوري - Protocol converter validation through deductive inference: a case study

Title of article :

Protocol converter validation through deductive inference: a case study

Author/Authors :

Subir Das، نويسنده , , P. Dhar، نويسنده ,

Issue Information :

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

Pages :

From page :

686

To page :

692

Keywords :

Protocol converter , Protocol validation , Specification

Journal title :

Computer Communications

Serial Year :

1998

Journal title :

Computer Communications

Record number :

308848

Link To Document :