00852naa#a2200205#i#450# EN\\bibl\89174 20260118020916.7 2219-0767 20241023b2024####ek#y0engy0150####ca RU Formalization of topology and electrical circuit verification for computer-aided 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.08 Skvortsova Tatyana Vladimirovna Zolnikov Konstantin Vladimirovich Plotnikov Aleksey Mihaylovich Scorkin I V naukaru.ru