مرکز منطقه ای اطلاع رساني علوم و فناوري - Efficient checking sequences for testing finite state machines

Title of article :

Efficient checking sequences for testing finite state machines

Author/Authors :

K. Inan، نويسنده , , H. Ural، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1999

Pages :

From page :

799

To page :

812

Keywords :

Checking sequence , Distinguishing suite , Mealy automaton , State identification and verification

Journal title :

Information and Software Technology

Serial Year :

1999

Journal title :

Information and Software Technology

Record number :

134649

Link To Document :