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