Test generation with structurally synthesized BDD models

vastutusandmed
J. Raik, R. Ubar
ilmumiskoht
Brno
ilmumisaasta
leheküljed
p. 66-68
keel
inglise
Raik, J., Ubar, R. Test generation with structurally synthesized BDD models // Proceedings of the 5th Electronic Devices and Systems Conference, Brno, June 11-12, 1998. Brno : Technical University, Faculty of Electrical Engineering and Computer Science, 1998. p. 66-68.