01113naa#a2200205#i#450# RU\\bibl\89174 20241128182635.4 2219-0767 20241023b2024####ek#y0rusy0150####ca RU Формализация верификации топологии и электрической схемы для систем автоматизированного проектирования Журнальная статья Воронеж Воронежский государственный лесотехнический университет имени Г.Ф. Морозова 2024 9 с. Журнальная статья local Носители вводимых и выводимых данных. Запоминающие среды. 004.08 Скворцова Татьяна Владимировна Зольников Константин Владимирович Плотников Алексей Михайлович Скоркин И. В. zh-szf.ru