Лекция 5. Теория процессов. Примеры верификации свойств процессов | Открытые видеолекции учебных курсов МГУ

Протоколы передачи ключей по квантовому каналу

x 1.00

МатематикаИнтеллектуальные методы анализа протоколов безопасности

Лекция 5. Теория процессов. Примеры верификации свойств процессов

МироновАндрей Михайлович

Предыдущая лекция Следующая лекция

2025 МГУ имени М.В. ЛомоносоваУсловия использования сайта Сведения об образовательной организацииНашли ошибку?