Формальный синтез тестов для микропроцессоров

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