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 (Mar. 2018), 162–167. DOI:https://doi.org/10.15588/1607-3274-2017-4-18.