Title of article :
Efficient computation of unique input/output sequences in finite state machines
Author/Authors :
Naik، نويسنده , , K.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1997
Pages :
15
From page :
585
To page :
599
Keywords :
Testing , UIO tree. , UIO sequence , interference rule , Communication protocol , finite-state machine , Projection , path vector
Journal title :
IEEE/ ACM Transactions on Networking
Serial Year :
1997
Journal title :
IEEE/ ACM Transactions on Networking
Record number :
375565
Link To Document :
بازگشت