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

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции