TY  CONF
TI  ВЕРИФИКАЦИЯ И ГЕНЕРАЦИЯ ТЕСТОВ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ
KW  верификация и генерация тестов
KW  цифровые системы
KW  генерация тестов
KW  сложные системы
KW  тестируемость
JO  МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2025
AU  Сванидзе, В.О.
AU  Зольников, К.В.
AU  Сазонова, С.А.
AU  Дорохов, В.А.
AU  Харченко, М.Э.
PY  2025
PB  Воронежский государственный лесотехнический университет имени Г.Ф. Морозова