Серебровский, А.Н.; Ситниченко, Л.П.; Пилипенко, В.Г.
(Математичні машини і системи, 2009)
Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть ...