Генерирование тестов микропроцессорных систем на модели АГ
Ubar, Raimund-Johannes
Техническая диагностика : Тезисы докладов III Международного симпозиума ИМЕКО, Москва, окт. 1983
1983
/
с. 100-103