Публікація: Верификация цифровых устройств на основе использования анализа тестопригодности и ассерционных библиотек
Завантаження...
Дата
2007
Назва журналу
ISSN журналу
Назва тома
Видавництво
Харьковский национальный университет радиоэлектроники
Анотація
Опис
Ключові слова
Бібліографічний опис
Хаханов В. И. Верификация цифровых устройств на основе использования анализа тестопригодности и ассерционных библиотек / В. И. Хаханов, М. А. Каминская, С. А. Зайченко // Автоматизированные системы управления и приборы автоматики – 2007. – № 140. – С. 75-83