Sledovat
Шарыкин, Роман Евгеньевич
Шарыкин, Роман Евгеньевич
Белорусский государственный университет, факультет прикладной математики и информатики, пр. Независимости 4, 220030 Минск, Беларусь
E-mailová adresa ověřena na: bsu.by
Název
Citace
Citace
Rok
Модель распределенных объектно ориентированных стохастических гибридных систем
РЕ Шарыкин, АН Курбацкий
Минск: БГУ, 2019
52019
Верификация распределенных объектно-ориентированных стохастических гибридных систем
РЕ Шарыкин, АН Курбацкий
Вестник Гродненского государственного университета имени Янки Купалы. Серия …, 2019
52019
Применение формальных методов при проектировании коллаборационной системы противовирусной защиты
РЕ Шарыкин, АН Курбацкий
Журнал Белорусского государственного университета. Математика. Информатика …, 2020
42020
Апробация модели стохастической коллаборационной защиты от вирусов
РЕ Шарыкин
Системный анализ и прикладная информатика, 62-70, 2021
12021
Применение формальных методов при проектировании системы одного окна
РЕ Шарыкин
Минск: БГУ, 2021
12021
Методология разработки программного обеспечения с использованием модели распределенных объектно-ориентированных стохастических гибридных систем
РЕ Шарыкин
Информатика 19 (1), 88-95, 2022
2022
Журнал Белорусского государственного университета. Математика. Информатика
СВ Агиевич, СМ Босяков, КС Юркевич, ГИ Михасёв, ЛГ Петрова, ...
Журн. Белорус. гос. ун-та. Матем. Инф 1, 66-74, 2022
2022
Использование формальных методов на ранних этапах проектирования коллаборационной системы противовирусной защиты
РЕ Шарыкин, АН Курбацкий
Минск: БГУ, 2021
2021
Журнал Белорусского государственного университета. Математика. Информатика
ВП Кирлица, РЕ Шарыкин, АН Курбацкий, ВВ Королевич, АС Кравчук, ...
Журн. Белорус. гос. ун-та. Матем. Инф 2, 68, 2020
2020
Формальное моделирование распределенных объектно-ориентированных стохастических гибридных систем
РЕ Шарыкин
2020
Журнал Белорусского государственного университета. Математика. Информатика
TY Thai, HN Huy, DV Tuyet, SV Ablameyko, DV Hoa, NV Hung
Журн. Белорус. гос. ун-та. Матем. Инф 3, 105-121, 2019
2019
Раннее внедрение формальных методов при разработке систем групповой защиты от вирусов
РЕ Шарыкин
2019
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–12