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