Lomakin V. V., Zaitseva T. V., Putivtseva N. P., Petina M. A., Zaitsev I. M. Formal methods of analysis and synthesis for decisions options during corporate information system development. IJAST [Internet]. 2020May28 [cited 2024Apr.20];29(08):742 -747. Available from: http://sersc.org/journals/index.php/IJAST/article/view/18814