(НТУ "ХПИ", 2004) Зайченко, С. А.; Парфентий, А. Н.; Ктейман, Х.
Виконано аналіз структур даних і алгоритмів при виконанні операцій теорії множин над списками дефектів в дедуктивному методі моделювання несправностей цифрових систем. Запропоновано 4 типа структур даних та процедури їх обробки, що забезпечують максимальну швидкодію базових операцій, необхідних для ефективної програмної реалізації метода.
