@dblp

On Test Generation for Interconnected Finite-State Machines: The Input Sequence Propagation Problem.

, and . Asian Test Symposium, page 16-21. IEEE Computer Society, (1996)

Links and resources

Tags