Перегляд Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте по Автору
JavaScript is disabled for your browser. Some features of this site may not work without it.
Перегляд Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте по Автору "Борхаленко, В. А."
Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.