Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№1
Ожидается:
16 Марта 2026
Ключевое слово: формальные спецификации
- Предварительное сообщение о языке исполняемых программных спецификаций Авторы статьи: Новосельцев В.Б., Новиков Ф.А.
- Динамическая верификация промышленных средств защиты информации на основе формальных моделей управления доступом Авторы статьи: Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Семенов В.А.
