Hierarchical test generation for finite state machines
Brik, Marina
;
Ubar, Raimund-Johannes
BEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 1
1994
/
p. 319-324: ill