Формальный синтез тестов для микропроцессоров
autor
Toomsalu, Arvo
Ubar, Raimund-Johannes
vastutusandmed
Тоомсалу, А., Убар, Р.
allikas
XVII областная научно-техническая конференция по вопросам повышения эффективности и качества систем и средств управления (май 1981 г.): Тезисы докладов
ilmumiskoht
Пермь
kirjastus/väljaandja
б.и.
ilmumisaasta
1981
leheküljed
с. 111-112
konverentsi nimetus, aeg
XVII областная научно-техническая конференция по вопросам повышения эффективности и качества систем и средств управления, май 1981 г.
konverentsi toimumispaik
Пермь, Россия
märksõna
mikroprotsessorid
testimine
TTÜ struktuuriüksus
elektronarvutite kateeder
keel
vene