Title of article
Efficient checking sequences for testing finite state machines
Author/Authors
K. Inan، نويسنده , , H. Ural، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1999
Pages
14
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