Шарыкин Роман Евгеньевич

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

1. Применение формальных методов при проектировании системы одного окна
   
   Журн. Белорус. гос. ун-та. Матем. Инф., 1 (2021),  79–90
2. Применение формальных методов при проектировании коллаборационной системы противовирусной защиты
   
   Журн. Белорус. гос. ун-та. Матем. Инф., 1 (2020),  59–69
3. Модель распределенных объектно ориентированных стохастических гибридных систем
   
   Журн. Белорус. гос. ун-та. Матем. Инф., 2 (2019),  52–61