Методы верификации аппаратно-программных компонентов вычислительных систем
Зыков Анатолий Геннадьевич. Методы верификации аппаратно-программных компонентов вычислительных систем : диссертация ... кандидата технических наук : 05.13.12 / Зыков Анатолий Геннадьевич; [Место защиты: С.-Петерб. гос. ун-т информац. технологий, механики и оптики].- Санкт-Петербург, 2008.- 154 с.: ил. РГБ ОД, 61 09-5/811
