TY  - JOUR
AU  - P. N. Devyanin
AU  - M. A. Leonova
TI  - The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2021
SP  - 83
EP  - 96
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2021_2_a4/
LA  - ru
ID  - PDM_2021_2_a4
ER  -