Tabunshchyk, G. V., Kapliienko, T. I. and Shytikova, O. V. (2018) “VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES”, Radio Electronics, Computer Science, Control, (4), pp. 162–167. doi: 10.15588/1607-3274-2017-4-18.