Информатика, вычислительная техника и управление. Диссертация Разработка средств верификации сложных цифровых микросхем с учетом радиационного воздействия в САПР : диссертация ... кандидата технических наук : 05.13.12, Воронеж, 2010