Аннотация:
Описан новый эффективный алгоритм нахождения пар наборов значений
входных переменных для проверки путей в схемах из функциональных
элементов. В отличие от известных алгоритмов настоящий алгоритм
позволяет информацию, получаемую в ходе работы с одним путем,
использовать при работе с другими путями, имеющими с первым
общие участки. Библиогр. 4 назв.
Полный текст:
PDF файл (653 kB)
