x 1.00
Скачать видео

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

  1. 00:15Протоколы передачи ключей по квантовому каналу
  2. 27:25Протокол и его процессы
  3. 40:09Система из параллельно выполняемых процессов
  4. 54:01Интеллектуальный анализ протокола