ФОРМАЛИЗАЦИЯ ПРЕДСТАВЛЕНИЯ ПОСЛЕДОВАТЕЛЬНОСТИ ТЕСТОВЫХ ГИПОТЕЗ ПРИ ДИАГНОСТИРОВАНИИ ЭЛЕКТРОННЫХ СХЕМ FORMALIZED REPRESENTATION SEQUENCES OF TEST HYPOTHESES IN THE DIAGNOSIS OF ELECTRONIC CIRCUITS Journal title: Інформатика та математичні методи в моделюванні Authors: А.А. Верлань, Ю. Стертен, С.А. Положаенко Subject(s):