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

• http://library.khai.edu/library/fulltexts/doc/REKS207/Petrik.pdf

Радіоелектронні і комп'ютерні системи [Текст] // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — 2007.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• Праці співробітників ХАІ // Петрик В.Л.
• УДК // Якість систем і програмного забезпечення