Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная
АНАЛИЗ ТРУДОЁМКОСТИ АЛГОРИТМОВ ПЕРЕВОДА ФУНКЦИИ АЛГЕБРЫ ЛО-ГИКИ В ВЕРОЯТНОСТНУЮ ФУНКЦИЮ ПРИ ОЦЕНКЕ БЕЗОПАСНОСТИ СТРУКТУРНО СЛОЖНЫХ СИСТЕМ. / Горопашная, А.В.; Тюрин, Г.А.
Труды международной научной школы МАБР-2005. 2005.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная
}
TY - GEN
T1 - АНАЛИЗ ТРУДОЁМКОСТИ АЛГОРИТМОВ ПЕРЕВОДА ФУНКЦИИ АЛГЕБРЫ ЛО-ГИКИ В ВЕРОЯТНОСТНУЮ ФУНКЦИЮ ПРИ ОЦЕНКЕ БЕЗОПАСНОСТИ СТРУКТУРНО СЛОЖНЫХ СИСТЕМ
AU - Горопашная, А.В.
AU - Тюрин, Г.А.
PY - 2005
Y1 - 2005
M3 - статья в сборнике материалов конференции
BT - Труды международной научной школы МАБР-2005
ER -
ID: 4441643