Ivannikov A.D. Test set generation for computer simulation design debugging of control digital systems with finite alphabet of functions. Proceedings - 2020 International Conference on Industrial Engineering, Applications and Manufacturing, ICIEAM 2020. 2020. С. 9112024. DOI: 10.1109/ICIEAM48468.2020.9112024 Scopus