Иванников А.Д., Стемпковский А.Л. Формализация выбора отладочных тестов при проектировании цифровых микроэлектронных систем на основе проверки выполнения требуемых функций. Известия высших учебных заведений. Электроника. 2020. Т. 25. № 4. С. 310-319. DOI: 10.24151/1561-5405-2020-25-4-310-319 RSCI