Please be patient while the object screen loads.
Description | Size | Format | ||
---|---|---|---|---|
Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB | 686 KB | Adobe Acrobat PDF | View Details | Download |
DOI Доступ к ресурсу на сайте издателя | 10.17223/2226308X/15/22 |