Электронная библиотека (репозиторий) Томского государственного университета
статьи в журналах | верификация | Леонова, Мария Александровна

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
Authors: Леонова, Мария Александровна | Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2022. № 15. С. 90-99
Type: статьи в журналах
Date: 2022
Description: В результате перевода описания формальной модели управления доступом промышленной ОССН Astra Linux Special Edition (МРОСЛ ДП-модели) из математической в формализованную нотацию на языке метода Event-B ... More
Add   О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
Authors: Девянин, Петр Николаевич | Леонова, Мария Александровна
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132
Type: статьи в журналах
Date: 2021
Description: Рассматриваются приемы согласованного описания мандатной сущностно-ролевой
  • «
  • ←
  • 1
  • →
  • »
^