|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
1. |
M. A. Leonova, P. N. Devyanin, “Comparison of methods for modeling access control in OS and DBMS in Event-B for the purpose of their verification with Rodin and ProB tools”, Prikl. Diskr. Mat. Suppl., 2022, no. 15, 90–99 |
|
2021 |
2. |
P. N. Devyanin, M. A. Leonova, “The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB”, Prikl. Diskr. Mat., 2021, no. 52, 83–96 |
4
|
3. |
P. N. Devyanin, M. A. Leonova, “About methods of developing consistent description of the MROSL DP-model for OS and DBMS for its verification with Rodin and ProB tools”, Prikl. Diskr. Mat. Suppl., 2021, no. 14, 126–132 |
1
|
|
Organisations |
|
|