On test generation for interconnected finite-state machines-the input sequence propagation problem | IEEE Conference Publication | IEEE Xplore
[go: up one dir, main page]