Статья ОПТИМИЗАЦИЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ С ОБЪЕДИНЕНИЕМ МЕЖСЕТЕВЫХ ЭКРАНОВ В ОТКАЗОУСТОЙЧИВЫЕ КЛАСТЕРЫ Богатырев В. А., Попова М. В., Богатырев С. В., Кудрявцева В. Ю., Фокин А. Б.
Статья ВЕРИФИКАЦИЯ ПОЛИТИК ФИЛЬТРАЦИИ С ПОМОЩЬЮ ИСЧИСЛЕНИЯ СОБЫТИЙ И АБДУКТИВНОГО ВЫВОДА Сидельникова Е. В., Тишков А. В., Котенко И. В.