00871naa#a2200205#i#450# EN\\bibl\76157 20241012160220.6 2219-0767 20240324b2024####ek#y0engy0150####ca RU Increasing formalization of tasks of verification of topology and electrical diagram for CAD-CAM design systems Journal article Voronezh FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov 2024 9 с. Journal article local Прикладные информационные (компьютерные) технологии. 004.9 Poluektov Aleksandr Vladimirovich Zolnikov Konstantin Vladimirovich Achkasov A. Vladimirovich Chevychelov Yu. Akimovich naukaru.ru