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