@article{Алфимов2026формализация,
author={Алфимов, А.В. and Авилова, О.А. and Тен, Р.В.},
title={ФОРМАЛИЗАЦИЯ И МОДЕЛЬ ПРЕДСТАВЛЕНИЯ РЕЗУЛЬТАТОВ МОДЕЛИРОВАНИЯ ДЛЯ ЗАДАЧ ПАРАМЕТРИЧЕСКОЙ ВЕРИФИКАЦИИ},
conference={МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2026},
publisher={Воронежский государственный лесотехнический университет имени Г.Ф. Морозова},
year={2026},
pages={21-29},
}