Информатика, вычислительная техника и управление. Диссертация Разработка методов и средств диагностики, повышающих эффективность верификации модулей вычислительной техники : диссертация ... кандидата технических наук : 05.13.05, Москва, 2007