مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

On the testability of SDL specifications

Author/Authors :

R. M. Hierons، نويسنده , , T. -H. Kim، نويسنده , , H. Ural، نويسنده ,

Issue Information :

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

Pages :

From page :

681

To page :

700

Keywords :

SDL , Infeasible path problem , Extended Finite State Machine , Test generation

Journal title :

Computer Networks

Serial Year :

2004

Journal title :

Computer Networks

Record number :

299378

Link To Document :