|
|
2020, том 32, выпуск 6
|
 |
|
 |
|
Мониторинг и тестирование на основе многоуровневых спецификаций программ
А. К. Петренко, Д. В. Ефремов, Е. В. Корныхин, В. В. Кулямин, А. В. Хорошилов, И. В. Щепетков
|
7–18 |
|
|
Верификация соответствия между разноуровневыми моделями функциональных требований
А. В. Хорошилов
|
19–30 |
|
|
Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS
В. С. Буренков
|
31–48 |
|
|
A formal model of a partitioned real-time operating system in Promela
S. M. Staroletov
|
49–66 |
|
|
О разработке Оберон-системы с заданными свойствами эргодичности
Д. В. Дагаев
|
67–78 |
|
|
Проектирование высоконагруженных систем
В. А. Рудометкин
|
79–86 |
|
|
Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
А. Е. Бородин, И. А. Дудина
|
87–100 |
|
|
Практическая абстрактная интерпретация бинарного кода
М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян
|
101–110 |
|
|
Способ маскирования передаваемой информации
П. В. Закалкин, С. А. Иванов, Е. В. Вершенник, А. В. Кирьянов
|
111–126 |
|
|
Иерархическая рубрикация текстовых документов
Д. И. Сорокин, А. С. Нужный, Е. А. Савельева
|
127–136 |
|
|
Обзор методов классификации сетевого трафика с использованием машинного обучения
А. И. Гетьман, М. К. Иконникова
|
137–154 |
|
|
Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool
A. A. Izmaylov, L. W. Dworzanski
|
155–166 |
|
|
Моделирование технических и математических задач прикладных областей знаний на ЭВМ
Е. М. Лаврищева, И. Б. Петров
|
167–182 |
|
|
Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах
Д. И. Романова
|
183–200 |
|
|
Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов
С. А. Елистратов, К. А. Ватутин, И. Н. Сибгатуллин, Е. В. Ерманюк, Е. А. Михайлов
|
200–212 |
|
|
Обратная связь: