01165naa#a2200205#i#450# RU\\bibl\76157 20241123214621.6 2219-0767 20240324b2024####ek#y0rusy0150####ca RU Повышение формализации задач верификации топологии и электрической схемы для систем автоматизированного проектирования Журнальная статья Воронеж Воронежский государственный лесотехнический университет имени Г.Ф. Морозова 2024 9 с. Журнальная статья local Прикладные информационные (компьютерные) технологии. 004.9 Полуэктов Александр Владимирович Зольников Константин Владимирович Ачкасов Александр Владимирович Чевычелов Юрий Акимович naukaru.ru