The alternating bit protocol

Просмотреть программу курса

Получаемые навыки

Bisimulation, Finite-State Machine, Transition System


4.4 (оценок: 160)
  • 5 stars
    64,37 %
  • 4 stars
    18,12 %
  • 3 stars
    11,87 %
  • 2 stars
    3,75 %
  • 1 star
    1,87 %
27 мая 2020 г.

Good course on Automata and behavioural equivalences.\n\nThe assessment questions are really challenging.

13 дек. 2016 г.

Although superficial, it is a very good MOOC for introducing LTS testing.

Из урока
More behavioural equivalences
This module elaborates on the equivalences provided earlier. It is shown how it can be applied, especially to the alternating bit protocol. Furthermore, a number of additional equivalences are introduced.


  • Placeholder

    Jan Friso Groote

    Full professor

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.