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

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

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

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