%0 Conference Article
%T ФОРМАЛИЗАЦИЯ И МОДЕЛЬ ПРЕДСТАВЛЕНИЯ РЕЗУЛЬТАТОВ МОДЕЛИРОВАНИЯ ДЛЯ ЗАДАЧ ПАРАМЕТРИЧЕСКОЙ ВЕРИФИКАЦИИ
%A Алфимов, А.В.
%A Авилова, О.А.
%A Тен, Р.В.
%K структурированное представление данных, информационная система, электронные компоненты, моделирование и симуляция, параметрическая верификация
%J МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2026
%D 2026
%P 8
%I Воронежский государственный лесотехнический университет имени Г.Ф. Морозова