Automated test program synthesis for digital systems with high-level decision diagrams
author
Ubar, Raimund-Johannes
statement of authorship
R.-J.Ubar
source
Proc. of 7th International Conference
location of publication
Vladivostok
year of publication
2005
pages
p. 171-180
subject term
testimine
automatiseerimine
süntees
digitaaltehnoloogiad
otsustusdiagrammid
language
inglise