Модель распределенных объектно ориентированных стохастических гибридных систем РЕ Шарыкин, АН Курбацкий Минск: БГУ, 2019 | 8 | 2019 |
Верификация распределенных объектно-ориентированных стохастических гибридных систем РЕ Шарыкин, АН Курбацкий Вестник Гродненского Государственного Университета имени Янки Купалы. Серия …, 2019 | 8 | 2019 |
Применение формальных методов при проектировании коллаборационной системы противовирусной защиты РЕ Шарыкин, АН Курбацкий Журнал Белорусского государственного университета. Математика. Информатика …, 2020 | 6 | 2020 |
Апробация модели стохастической коллаборационной защиты от вирусов РЕ Шарыкин Системный анализ и прикладная информатика, 62-70, 2021 | 3 | 2021 |
Методика применения формальных методов при проектировании системы закупок предприятия РЕ Шарыкин Вестник Гродненского государственного университета имени Янки Купалы. Сер 2 …, 2022 | 2 | 2022 |
Применение формальных методов при проектировании системы одного окна РЕ Шарыкин Журнал Белорусского государственного университета. Математика. Информатика …, 2021 | 2 | 2021 |
Методология разработки программного обеспечения с использованием модели распределенных объектно-ориентированных стохастических гибридных систем РЕ Шарыкин Информатика 19 (1), 88-95, 2022 | | 2022 |
Апробация реализации модели стохастической коллаборационной защиты от вирусов РЕ Шарыкин Гомельский государственный университет имени Ф. Скорины, 2022 | | 2022 |
Разработка системы защиты от вирусов с использованием модели распределенных объектно ориентированных стохастических гибридных систем РЕ Шарыкин Минск: БГУ, 2022 | | 2022 |
Использование формальных методов на ранних этапах проектирования коллаборационной системы противовирусной защиты РЕ Шарыкин, АН Курбацкий Минск: БГУ, 2021 | | 2021 |
Формальное моделирование распределенных объектно-ориентированных стохастических гибридных систем РЕ Шарыкин | | 2020 |
Раннее внедрение формальных методов при разработке систем групповой защиты от вирусов РЕ Шарыкин | | 2019 |
Журнал Белорусского государственного университета. Математика. Информатика ВВ Королевич, ДГ Медведев Журнал Белорусского государственного университета. Математика. Информатика …, 2017 | | 2017 |