Automated test program synthesis for digital systems with high-level decision diagrams
autor
vastutusandmed
R.-J.Ubar
allikas
Proc. of 7th International Conference
ilmumiskoht
Vladivostok
ilmumisaasta
leheküljed
p. 171-180
keel
inglise
Ubar, R.-J. Automated test program synthesis for digital systems with high-level decision diagrams // Proc. of 7th International Conference. Vladivostok, 2005. p. 171-180.