Combining symbolic techniques with topological approach in test generation

vastutusandmed
R. Ubar
ilmumiskoht
[S.l.]
ilmumisaasta
leheküljed
p. 377-382
keel
inglise
Ubar, R. Combining symbolic techniques with topological approach in test generation // Proceedings of the 3rd Workshop on Mixed Design of Integrated Circuits and Systems, Lodz, May 1996. [S.l.], 1996. p. 377-382.