О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB

Πηγή: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132

Θεματικοί όροι: Event-B, формальный метод, Astra Linux Special Edition, операционная система специального назначения, формальная модель управления доступом, требования доверия, верификация

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000719741