| Маркер записи | n 22 4500 |
| Контрольный номер | BY/FL BSU/Stat/MazanikIN/d01f4623769045efab1160e66fc72d6b |
| Дата корректировки | 13:56:01 28 августа 2020 г. |
| Кодируемые данные | 200614s2020||||by |||||||||||||||||rus|| |
| Служба первич. каталог. |
Фундаментальная библиотека Белорусского государственного университета БелАР |
| Код языка каталог. | rus |
| Код языка издания |
rus rus |
|
070 Шарыкин, Р. Е. Роман Евгеньевич |
|
|
Применение формальных методов при проектировании коллаборационной системы противовирусной защиты Р. Е. Шарыкин, А. Н. Курбацкий |
|
| Дата издания оригинала | 2020 |
| Иллюстрации/ тип воспроизводства | 1 табл., 2 рис. |
| Текст | |
| непосредственный | |
| Библиография | Библиогр.: с. 68 (18 назв.) |
| Аннотация | Предлагается подход, позволяющий исследовать математическую модель защиты от вирусов на этапе ее проектирования. |
|
Вычислительная техника Имитационное компьютерное моделирование |
|
| Ключевые слова |
математическое моделирование гибридные системы стохастические системы антивирусная защита спецификация моделей компьютерные вирусы |
|
070 Курбацкий, А. Н. доктор технических наук Александр Николаевич Белорусский государственный университет |
|
|
BY/FL BSU/STAT/Spiridonova/6c1ee1b3847649f7a1ee3ed2fea6f5b3 Журнал Белорусского государственного университета. Математика. Информатика 2020 № 1. - С. 59-69 2520-6508 |
|
| RU | |
| 863 | |
|
https://elib.bsu.by/handle/123456789/245464 |
|
| Тип документа | b |
| Теоретические основы информатики |
