Feasibility of structurally synthesized BDD models for test generation

vastutusandmed
J. Raik, R. Ubar
allikas
Proceedings of the IEEE European Test Workshop, Barcelona, Spain, May 27-29, 1998
ilmumiskoht
[S.l.]
ilmumisaasta
leheküljed
p. 145-146
keel
inglise
Raik, J., Ubar, R. Feasibility of structurally synthesized BDD models for test generation // Proceedings of the IEEE European Test Workshop, Barcelona, Spain, May 27-29, 1998. [S.l.], 1998. p. 145-146.