|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
1. |
Р. Е. Шарыкин, “Применение формальных методов при проектировании системы одного окна”, Журн. Белорус. гос. ун-та. Матем. Инф., 1 (2021), 79–90 |
1
|
|
2020 |
2. |
Р. Е. Шарыкин, А. Н. Курбацкий, “Применение формальных методов при проектировании коллаборационной системы противовирусной защиты”, Журн. Белорус. гос. ун-та. Матем. Инф., 1 (2020), 59–69 |
3
|
|
2019 |
3. |
Р. Е. Шарыкин, А. Н. Курбацкий, “Модель распределенных объектно ориентированных стохастических гибридных систем”, Журн. Белорус. гос. ун-та. Матем. Инф., 2 (2019), 52–61 |
4
|
|