مرکز منطقه ای اطلاع رساني علوم و فناوري - A scalable tool for efficient protocol validation and testing

Title of article :

A scalable tool for efficient protocol validation and testing

Author/Authors :

J. Jenny Li، نويسنده , , J. Jenny Li and J. Robert Horgan ، نويسنده ,

Issue Information :

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

Pages :

From page :

766

To page :

773

Keywords :

validation , Specification and Description Language , Protocol specification , Exhaustion/coverage testing

Journal title :

Computer Communications

Serial Year :

2003

Journal title :

Computer Communications

Record number :

309695

Link To Document :