ПИБКС
Проблемы информационной безопасности. Компьютерные системы Санкт-Петербургский политехнический университет Петра Великого
Издается с 1999
ISSN 2071-8217
ru Русский
Версия для слабовидящих
Подать статью
График выхода изданий
  • №1 Март 2026

Статьи по ключевому слову "темпоральная логика"

Верификация разграничения доступа в системах больших данных с использованием временных логик

Полтавцева М. А. Подоров А. А.
  • Год: 2024
  • Выпуск: Спецвыпуск
  • 1
  • 492
  • Страницы: 146-156