01010naa#a2200181#i#450# RU\\bibl\19909 20260702074535.4 20260630b2026####ek#y0rusy0150####ca RU ФОРМАЛИЗАЦИЯ И МОДЕЛЬ ПРЕДСТАВЛЕНИЯ РЕЗУЛЬТАТОВ МОДЕЛИРОВАНИЯ ДЛЯ ЗАДАЧ ПАРАМЕТРИЧЕСКОЙ ВЕРИФИКАЦИИ Статья/тезисы конференции Воронеж Воронежский государственный лесотехнический университет имени Г.Ф. Морозова 2026 8 с. Статья/тезисы конференции local Обнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42 Алфимов А. В. Авилова О. А. Тен Роман Валерьевич bibl.vgltu.ru