Tabunshchyk, G. V.; Kapliienko, T. I.; Shytikova, O. V. VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES. RIC 2018, 162-167.