|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
М. А. Леонова, П. Н. Девянин, “Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB”, ПДМ. Приложение, 2022, № 15, 90–99  |
|
2021 |
| 2. |
П. Н. Девянин, М. А. Леонова, “Приёмы описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её верификации инструментами Rodin и ProB”, ПДМ, 2021, № 52, 83–96  |
4
|
| 3. |
П. Н. Девянин, М. А. Леонова, “О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB”, ПДМ. Приложение, 2021, № 14, 126–132 |
1
|
|
