Title of article :
Efficient computation of unique input/output sequences in finite state machines
Author/Authors :
Naik، نويسنده , , K.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1997
Keywords :
Testing , UIO tree. , UIO sequence , interference rule , Communication protocol , finite-state machine , Projection , path vector
Journal title :
IEEE/ ACM Transactions on Networking
Journal title :
IEEE/ ACM Transactions on Networking