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

• http://library.khai.edu/library/fulltexts/doc/REKS206/Gora.pdf

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

• УДК // Галузі промисловості та ремесла, що виробляють готову продукцію
• Праці співробітників ХАІ // Гора М.М./Гора Н.Н.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ