Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.01 <Систем. анализ, упр. и обраб. информ. по отраслям> : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>
Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.01 <Систем. анализ, упр. и обраб. информ. по отраслям> : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>