004
П30	Петрик, В. Л.     Информационная технология верификации программного обеспечения информационно-управляющих систем на основе дескрипторной модели [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ.технологии / МОН Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "ХАИ" ; рук. Вартанян В.М. — Х., 2009. — 198 с.