%0 Journal Article
%A P. N. Devyanin
%A M. A. Leonova
%T About methods of developing consistent description of the MROSL DP-model for OS and DBMS for its verification with Rodin and ProB tools
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2021
%P 126-132
%N 14
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2021_14_a27/
%G ru
%F PDMA_2021_14_a27