%0 Journal Article
%A P. N. Devyanin
%A M. A. Leonova
%T The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB
%J Prikladnaâ diskretnaâ matematika
%D 2021
%P 83-96
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2021_2_a4/
%G ru
%F PDM_2021_2_a4