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
Dzhigo A. A., Maistrovich T. V. «An integrated approach to library holdings: GOST R 7.0.93-2015 «Library fund. Forming technology»» // 2016. №3 C.37-45
Konkov Dmitry S. «Case study as the method of the verification of macrohistorical concepts:capabilities of use» // 2009. №2 (6) C.44-46
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
Devyanin Petr N., Leonova Maria A. «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
Veretnov Sergey O., Nepomniaschy Valery A., Bodin Evgeniy V. «The analysis and verification of SDL-specifications of distributed systems using Dynamic-REAL Language» // Tomsk State University Journal of Control and Computer Science 2020. №53 C.118-126
Krinizkaya G.S. «Once more about «new» synthesis in history» // 2011. №3 (15) C.123-128
Leonova M.A., Devyanin P.N. «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