|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProBстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
- Авторы: Devyanin P.N., Leonova M.A.
- Журнал: Прикладная дискретная математика
- Номер: 52
- Год издания: 2021
- Издательство: Изд-во ТГУ
- Местоположение издательства: Томск
- Первая страница: 83
- Последняя страница: 96
- DOI: 10.17223/20710410/52/5
- Добавил в систему: Кривчиков Максим Александрович