Automated test program synthesis for digital systems with high-level decision diagrams
autor
Ubar, Raimund-Johannes
vastutusandmed
R.-J.Ubar
allikas
Proc. of 7th International Conference
ilmumiskoht
Vladivostok
ilmumisaasta
2005
leheküljed
p. 171-180
märksõna
testimine
automatiseerimine
süntees
digitaaltehnoloogiad
otsustusdiagrammid
keel
inglise