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