Test cover calculation in digital systems with word-level decision diagrams

autor
Ubar, Raimund-Johannes
Raik, Jaan
Ivask, Eero
Brik, Marina
vastutusandmed
R.Ubar, J.Raik, E.Ivask, M.Brik
allikas
Вестник Томского государственного университета
ajakirja erinumber
Приложение. Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной-школы семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2003 г.)
ilmumisaasta
2002
leheküljed
с. 315-319 : ил
konverentsi nimetus, aeg
IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной-школы семинара "Проблемы компьютерной безопасности"
konverentsi toimumispaik
Томск
märksõna
digitaaltehnika
digitaalelektroonika
süsteemide modelleerimine
ISSN
1561-7793
märkused
Библиогр.: 10 назв
keel
inglise