Формальный синтез тестов для микропроцессоров
statement of authorship
Тоомсалу, А., Убар, Р.
source
XVII областная научно-техническая конференция по вопросам повышения эффективности и качества систем и средств управления (май 1981 г.): Тезисы докладов
location of publication
Пермь
publisher
year of publication
pages
с. 111-112
conference name, date
XVII областная научно-техническая конференция по вопросам повышения эффективности и качества систем и средств управления, май 1981 г.
conference location
Пермь, Россия
subject term
TTÜ department
language
vene
Тоомсалу, А., Убар, Р. Формальный синтез тестов для микропроцессоров // XVII областная научно-техническая конференция по вопросам повышения эффективности и качества систем и средств управления (май 1981 г.): Тезисы докладов. Пермь : б.и., 1981. с. 111-112.