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

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

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

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