00874naa#a2200205#i#450# EN\\bibl\16683 20250823015127.6 20250729b2025####ek#y0engy0150####ca RU VERIFICATION AND TEST GENERATION OF COMPLEX DIGITAL SYSTEMS Conference article/thesis Voronezh FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov 2025 9 с. Conference article/thesis local Информационные технологии. Компьютерные технологии. Теория вычислительных машин и систем. 004 Svanidze V. O. Zolnikov Konstantin Vladimirovich Sazonova S. A. Dorohov V. A. Harchenko M. E. bibl.vgltu.ru