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

• http://library.khai.edu/library/fulltexts/doc/Manzhos.pdf

Авиационно-космическая техника и технология [Текст] : Научно-технический журнал // Авиационно-космическая техника и технология - Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосмический ун-т "ХАИ", 2007.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• Праці співробітників ХАІ // Манжос Ю.С./Manzhos Y.
• Праці співробітників ХАІ // Петрик В.Л.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• УДК // Якість систем і програмного забезпечення