Automated test program synthesis for digital systems with high-level decision diagrams
author
statement of authorship
R.-J.Ubar
source
Proc. of 7th International Conference
location of publication
Vladivostok
year of publication
pages
p. 171-180
language
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.