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