Харченко Елена Алексеевна

Публикации в базе данных Math-Net.Ru

1. Верификация автоматных алгоритмов по частичному описанию входных последовательностей
   
   Ученые записки УлГУ. Серия "Математика и информационные технологии", 2025, № 1,  58–69
2. Морфологический подход к принятию обоснованных решений по экспертным суждениям
   
   Вестник ТвГУ. Серия: Прикладная математика, 2019, № 2,  42–56