Зведений каталог бібліотек Харкова
Закутайло, Д. А. Автоматизированная система верификации цифровых систем. [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины // Искусственный интеллект. 3 , 2003. — С.95-101.
- Анотація:
В статье изложены основные проблемы верификации цифровых систем, описанных на VHDL.
- Є складовою частиною документа:
Искусственный интеллект [Текст] // Искусственный интеллект ; Нац. акад. наук Украины, Ин-т проблем искусств. интеллетка - Донецк : ІПШІ "Наука і освіта" , 2003. — 2003.
- Теми документа
