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

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

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

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