|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода event-b с целью их верификации инструментами rodin и probстатья
- Авторы: Леонова Мария Александровна, Девянин Петр Николаевич
- Журнал: Прикладная дискретная математика. Приложение
- Номер: 15
- Год издания: 2022
- Издательство: Изд-во ТГУ
- Местоположение издательства: Томск
- Первая страница: 90
- Последняя страница: 99
- Добавил в систему: Кривчиков Максим Александрович