АНАЛИЗ ТРУДОЁМКОСТИ АЛГОРИТМОВ ПЕРЕВОДА ФУНКЦИИ АЛГЕБРЫ ЛО-ГИКИ В ВЕРОЯТНОСТНУЮ ФУНКЦИЮ ПРИ ОЦЕНКЕ БЕЗОПАСНОСТИ СТРУКТУРНО СЛОЖНЫХ СИСТЕМ

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution