Леонова Мария Александровна

Публикации в базе данных Math-Net.Ru

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