Лекция 6. Верификация протокола с чередованием битов

  1. 00:15Протокол передачи данных в одном направлении
  2. 56:36Проверка свойств рассмотренного протокола