Метою доповіді є підвищення ефективності контролю і діагностування шляхом розробки методів формального перетворення діагностичних моделей в автоматизованих системах контролю за рахунок вибору оптимальної структури ...