D'yachenko Evgenii Nikolaevich «Analytical verification of sedimentation models based on the discrete element method» // 2013. №2(22) C.17-21
Ogleznev Vitaly V. «The "open texture" of language, vagueness, and context principle» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №44 C.25-32
Konkov Dmitry S. «Case study as the method of the verification of macrohistorical concepts:capabilities of use» // 2009. №2 (6) C.44-46
Burdonov Igor B., Kossatchev Alexander S. «Graph learning by interacting automata» // 2014. №3(28) C.67-75
Isaeva Olga S., Isaev Sergey V., Kulaysov Nikita V. «Method of structural and graphical analysis and verification of intellectual simulation model» // Tomsk State University Journal of Control and Computer Science 2020. №50 C.79-88
Leonova Maria A., Devyanin Petr N. «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» // Applied Discrete Mathematics. Supplement 2022. №15 C.90-99
Cheremisinova L.D. , Novikov D.Ya. «Checking of circuit implementation of incompletely specified Boolean functions » // 2008. №4 (5) C.102-111
Devyanin P.N., Leonova M.A. «About methods of developing consistent description of the mrosl dp-model for os and dbms for its verification with Rodin and ProB TOOLS» // Applied Discrete Mathematics. Supplement 2021. №14 C.126-132
